НИУ ВШЭ СПб, СПбГУ, ИТМО
Доцент департамента информатики НИУ ВШЭ в Санкт-Петербурге
Интересы: функциональные языки программирования и их системы типов.
| Курс | Семестр |
|---|---|
| Проблемы населенности типов и их разрешимость | осень 2017 |
| Системы типизации лямбда-исчисления | весна 2011 |
