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