研究小组

编程语言和工具实验室

自 2012 年由 Dmitri Boulytchev 创立以来,该实验室一直在编程语言理论领域开展科学研究,主要集中在以下主题:

  • 关系式和逻辑编程
  • 弱内存模型和并发性
  • 元编程、元计算和部分评估
  • 编程语言语义和类型
  • 认证编程和机械化证明
  • 函数式编程
  • 年度程序。

实验室的另一个重要重点是教育。 该实验室向本科生和研究生开放,让学生参与研究项目,并提供加入相关博士项目的机会。 同时,实验室成员也在设计、讲授和协助以下主题的课程:

  • 编译器工程
  • 元计算
  • 正式语言
  • 编程语言语义
  • 介绍 Coq 的机械化证明工程

此外,该实验室还开展以下活动:

  • 每周一次关于编程语言理论和实践的研讨会。
  • 与实验室研究兴趣相关的免费公开课程。
  • JetBrains 的 的暑期实习 – 他们为学生提供在公司工作 1-3 个月的机会。
  • 一年一度的小型会议。 在这个活动中,实验室学生可以展示他们的学期论文、学士和硕士论文以及暑期实习的成果。
  • 一个关于阅读和撰写论文的课程 – 发展阅读,参与者在其中培养阅读,分析和撰写研究论文所需的特定技能。

实验室随时欢迎新成员加入。 加入小组的最佳方式是参加我们每周的研讨会和公开课程,然后从现有的研究课题中选择一个进行研究。

小组成员

Anton Podkopaev
Anton Podkopaev
研究实验室/小组负责人
Daniil Berezun
Daniil Berezun
研究实验室/小组负责人
Ekaterina Verbitskaia
Ekaterina Verbitskaia
研究员
Ekaterina Shemetova
Ekaterina Shemetova
研究员
Evgenii Moiseenko
Evgenii Moiseenko
研究员
Dmitry Rozplokhas
Dmitry Rozplokhas
学生
Egor Namakonov
Egor Namakonov
学生