Научные интересы: «теория типов»Подразделения

Стажер-исследователь: Международная лаборатория логики, лингвистики и формальной философии

Преподаватель: Центр организации обучения студентов для топ-специалистов в сфере искусственного интеллекта
Доцент: НИУ ВШЭ в Санкт-Петербурге / Школа информатики, физики и технологий / Департамент информатики

Преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска
стажер-исследователь: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики
Аспирант: Факультет компьютерных наук / Базовая кафедра Математического института им В.А. Стеклова РАН (МИАН)