City: Saint Petersburg Novosibirsk Kazan Language: Русский English

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

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

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

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

Course Offerings

Course Semester
Type inhabitation problems and their decidability autumn 2017
Systems of typed lambda calculi spring 2011

Photos

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