АБВ
АБВ
АБВ

Обычная версия сайта

Кампусы

Подразделения

По категориям

Ординарные профессораЗаслуженные профессораЗаслуженные работникиЛучшие преподавателиЧитающие курсы на английском языкеПолучатели академических надбавокАкадемический кадровый резервАдминистративный кадровый резервАспиранты

По учёным званиям и степеням

Члены и члены-корреспонденты РАН и РАОИмеющие степень PhD

Научные интересы

сбросить фильтры

Научные интересы: «foundations of mathematics»Подразделения

ФИО и должность

Контакты

+7 (495) 531-00-00
27244

Верещагин Николай Константинович

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

теория вычислений информатика логика основания математики

+7 495 772 9590 *23107

Сперанский Станислав Олегович

Старший научный сотрудник: Факультет математики

математическая логика теория алгоритмов основания математики