编程语言
和工具实验室

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

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

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

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

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

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

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

项目

活动

Daniil Berezun

Patching OCaml and ML-like languages

该项目旨在为类似 ML 的语言带来新的功能,并制作补丁来修复临时或设计不良的语言功能,如多态变体、活动模式和模块。

Daniil Berezun

Metacomputations

这个项目的目的是研究和实际应用元计算技术,如部分评估、超级编译和蒸馏。

非活动

Daniil Berezun

Semi-local Algorithms

这个项目的目的是开发和实际应用半本地 LCS 和 SA 算法。

研讨会

实验研讨会每周举行,对所有人开放。我们在研讨会上谈论编程语言和语言工具的经典和最新研究成果。

请加入我们的聚会小组来及时了解即将举行的会议。

我们向策展人、研究生和所有实验室的学生推荐我们的研讨会。

公告归档

季节性学校

夏季/冬季学校项目背后的想法是将积极进取的学生、研究生和软件开发者与著名的世界级研究人员聚集在一起。每所学校都研究一个特定的主题,这使得参与者能够在短短五天内集中学习并在短短五天内完成一门其实可以长达一个学期的广泛课程。 选择的主题是编程语言、编译器、语言工具开发领域的前沿。

小组成员

Anton Podkopaev
研究实验室责人
Daniil Berezun
研究实小组负责人
Evgenii Moiseenko
研究员
Ekaterina Verbitskaia
研究员

过去的成员

Dmitry Boulytchev
Semyon Grigorev
Dmitry Mordvinov
Ekaterina Verbitskaia