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

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

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

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

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

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

Старший преподаватель: Московский институт электроники и математики им. А.Н. Тихонова / Департамент прикладной математики

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

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

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

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

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

профессор: Факультет математики