АБВ
АБВ
АБВ

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

Кампусы

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

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

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

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

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

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

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

Преподаватели и сотрудникиПодразделения

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

Контакты

27305

Королев Максим Александрович

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

теория чисел

+7 (495) 772-95-90
27305

Кузнецов Степан Львович

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

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