Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Денис Николаевич Москвин

НИУ ВШЭ СПб, СПбГУ, ИТМО

Доцент департамента информатики НИУ ВШЭ в Санкт-Петербурге

Интересы: функциональные языки программирования и их системы типов.

Прочтения курсов

Курс Семестр
Проблемы населенности типов и их разрешимость осень 2017
Системы типизации лямбда-исчисления весна 2011

Фотографии

Денис Николаевич Москвин