プログラミング言語とツールラボ

2012 年に Dmitri Boulytchev によって設立されて以来、この研究室は、主に以下のトピックに焦点を当ててプログラミング言語理論分野の科学的研究を行ってきました。

• リレーショナルおよびロジックプログラミング
• 弱いメモリモデルと並行性
• メタプログラミング、メタ計算、および部分評価
• プログラミング言語のセマンティクスと型
• 認定プログラミングおよび証明の機械化
• 関数型プログラミング
• 年次手続き。

この研究室では、教育にも重要な焦点を当てています。 大学生と大学院生の両方を対象としたこの研究室では、学生を研究プロジェクトに参加させ、関連する博士号プログラムに参加する機会を提供しています。 また、研究室メンバーは、以下のテーマに沿ったコースの編成、講義、および支援でも活躍しています。

• コンパイラー工学
• メタ計算
• 形式言語
• プログラミング言語のセマンティクス
• Coq による証明の機械化工学の基礎

研究室ではさらに以下の活動も行っています。

• プログラミング言語の理論と実践に関する週次セミナー
• 研究室のリサーチに関連するトピックに関する無料公開コース
• JetBrains での夏期インターンシップ — 学生に 1～3 か月間勤務する機会が与えられます。
• 年次ミニカンファレンス このイベントにおいて、研究生は、学期論文、学士論文、修士論文、および夏期インターンシップの結果を発表することができます。
• 論文の読み方と書き方に関するセミナー。参加者は、研究論文を読み、分析し、書き上げるために必要な具体的なスキルを養います。

研究室では常に新しいメンバーを歓迎しています。 グループに参加するには、週次セミナーまたは公開コースに参加し、提供されているリサーチトピックの中から追及したいものを選択するのが最適です。