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