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

Профессор: Факультет математики / Базовая кафедра Математического института им. В.А. Стеклова РАН

Стажер-исследователь: Международная лаборатория логики, лингвистики и формальной философии
Преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска
аспирант: Факультет математики

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

Приглашенный преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Базовая кафедра Яндекс

Старший преподаватель: Факультет математики

Доцент: Факультет компьютерных наук / Департамент анализа данных и искусственного интеллекта
Старший научный сотрудник: Факультет компьютерных наук / Международная лаборатория интеллектуальных систем и структурного анализа

Преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска

доцент: Факультет математики

Доцент: Факультет компьютерных наук / Департамент больших данных и информационного поиска

Профессор: Факультет математики / Базовая кафедра Института проблем передачи информации им.А.А.Харкевича (ИППИ) РАН