НИУ ВШЭ СПб, СПбГУ, ИТМО
Доцент департамента информатики НИУ ВШЭ в Санкт-Петербурге
Интересы: функциональные языки программирования и их системы типов.
| Course | Semester |
|---|---|
| Type inhabitation problems and their decidability | autumn 2017 |
| Systems of typed lambda calculi | spring 2011 |
