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

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

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

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

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

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

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

Приглашенный преподаватель: Московский институт электроники и математики им. А.Н. Тихонова / Департамент компьютерной инженерии
Стажер-исследователь: Московский институт электроники и математики им. А.Н. Тихонова / Учебная лаборатория систем автоматизированного проектирования

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

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

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