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