Лаборатория языковых инструментов — совместная инициатива JetBrains и математико-механического факультета СПбГУ.
Сотрудники лаборатории исследуют:
На еженедельных семинарах выступают как наши сотрудники и студенты, так и приглашенные докладчики. С недавних пор семинары записываются, их можно посмотреть на Youtube. В этом посте мы поделимся ссылками и описаниями прошедших встреч, а также расскажем, как не пропустить анонсы будущих мероприятий.
![](https://habrastorage.org/webt/h3/2r/h3/h32rh3ckuy9at32sv7hv9ianqxm.jpeg)
Сотрудники лаборатории исследуют:
- формализацию и верификацию семантики языков программирования в контексте слабых моделей памяти;
- логическое и реляционное программирование;
- теорию формальных языков и ее применения;
- метапрограммирование, специализацию и частичные вычисления;
- формальную верификацию и применение SMT-решателей.
На еженедельных семинарах выступают как наши сотрудники и студенты, так и приглашенные докладчики. С недавних пор семинары записываются, их можно посмотреть на Youtube. В этом посте мы поделимся ссылками и описаниями прошедших встреч, а также расскажем, как не пропустить анонсы будущих мероприятий.
![](https://habrastorage.org/webt/h3/2r/h3/h32rh3ckuy9at32sv7hv9ianqxm.jpeg)