Исследовательская группа

Лаборатория языковых инструментов

С момента основания Дмитрием Булычевым в 2012 году лаборатория проводит научные исследования в области теории языков программирования с основным акцентом на следующих темах:

  • реляционное и логическое программирование;
  • слабые модели памяти и конкурентная многопоточность;
  • метапрограммирование, мета-вычисления и частичные вычисления;
  • семантика и типы языков программирования;
  • сертифицированное программирование и механизированные доказательства;
  • функциональное программирование;
  • теория формальных языков.

Еще одно важное направление деятельности лаборатории — образование. Лаборатория вовлекает студентов бакалавриата и магистратуры в исследовательские проекты, а затем предлагает продолжить обучение по программам аспирантуры. Кроме того, сотрудники лаборатории разрабатывают, читают лекции и помогают в проведении курсов по следующим темам:

  • разработка компилятора;
  • мета-вычисления;
  • теория формальных языков;
  • семантика языков программирования;
  • введение в механизированное доказательства на Coq.

Помимо этого, лаборатория проводит следующие мероприятия:

  • Еженедельный семинар по теории и практике языков программирования.
  • Открытые бесплатные курсы по темам, имеющим отношение к исследовательским интересам лаборатории.
  • Летние стажировки в JetBrains, которые дают студентам возможность поработать в компании в течение 1-3 месяцев.
  • Ежегодная мини-конференция. На этом мероприятии студенты-лаборанты представляют результаты своих курсовых работ, бакалаврских и магистерских диссертаций, а также летних стажировок.
  • Семинар по чтению и написанию статей. Он помогает студентам развить специальные навыки, необходимые для чтения, анализа и написания исследовательских работ.

В лаборатории всегда рады новым сотрудникам. Лучший способ присоединиться — это посетить наш еженедельный семинар или открытые курсы и выбрать одну из доступных тем для исследования.

Состав