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