リサーチ
プログラミング言語
とツールラボ
2012 年に Dmitri Boulytchev 氏によって設立されて以来、この研究室は、主に以下のトピックに焦点を当ててプログラミング言語理論分野の科学的研究を行ってきました。
- リレーショナルおよびロジックプログラミング
- 弱いメモリモデルと並行性
- メタプログラミング、メタ計算、および部分評価
- プログラミング言語のセマンティクスと型
- 認定プログラミングおよび証明の機械化
- 関数型プログラミング
- 形式言語理論
この研究室では、教育にも重要な焦点を当てています。大学生と大学院生の両方を対象としたこの研究室では、学生を研究プロジェクトに参加させ、関連する博士号プログラムに参加する機会を提供しています。また、研究室メンバーは、以下のテーマに沿ったコースの編成、講義、および支援でも活躍しています。
- コンパイラー工学
- メタ計算
- 形式言語
- プログラミング言語のセマンティクス
- Coq による証明の機械化工学の基礎
研究室ではさらに以下の活動も行っています。
- プログラミング言語の理論と実践に関する週次セミナー
- 研究室のリサーチに関連するトピックに関する無料公開コース
- JetBrainsでの夏期インターンシップ — 学生に 1~3 か月間 JetBrains で働く機会が与えられます。
- 年次ミニカンファレンス。このイベントにおいて、研究生は、学期論文、学士論文、修士論文、および夏期インターンシップの結果を発表することができます。
- 論文の読み方と書き方に関するセミナー。参加者は、研究論文を読み、分析し、書き上げるために必要な具体的なスキルを養います。
研究室では常に新しいメンバーを歓迎しています。グループに参加するには、週次セミナーまたは公開コースに参加し、提供されているリサーチトピックの中から追及したいものを選択するのが最適です。
プロジェクト
アクティブ
Patching OCaml and ML-like languages
このプロジェクトは機械学習のような言語に新しい機能をもたらし、ポリモーフィック variant、アクティブなパターン、モジュールなど、アドホックな、またはうまく設計されていない言語機能を修正するパッチを生成することを目的としています。
Metacomputations
このプロジェクトは、部分評価、スーパーコンパイル、蒸留などのメタコンピューティング技術を研究し、実践的に適用することを目的としています。
非アクティブ
Semi-local Algorithms
このプロジェクトは、セミローカルの LCS および SA アルゴリズムを開発し、実践的に適用することを目的としています。
セミナー
ラボのセミナーは毎週行われ、すべてのユーザーに公開されています。セミナーではプログラミング言語と言語ツールの従来および最近の研究結果について話し合います。
出版物
季節講習
夏期/冬期講習プログラムの背後にある意図は、著名な世界クラスの研究者と共に、やる気のある学生、大学院生、ソフトウェア開発者を集めることです。1 つの特定のトピックを各講習で学習するため、参加者は集中的な学習に没頭することができ、容易に 1 学期は必要となる内容の広範囲にわたるコースをわずか 5 日で完了できます。プログラミング言語、コンパイラ、言語ツール開発の分野の最先端のトピックが選択されます。