Адян Сергей Иванович — профиль | ИСТИНА

adian

Адян Сергей Иванович adian

доктор физико-математических наук с 1963 года

академик РАН с 26 мая 1999 г.

профессор по кафедре с 1 января 1968 г.

Математический институт им. В.А. Стеклова РАН, академик РАН

Предыдущие места работы

МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) профессор с 1 сентября 1965 г. по 5 мая 2020 г., по совместительству

IstinaResearcherID (IRID): 26827152

–

НИР и НИОКР

- 1 января 2016 - 31 декабря 2020 Алгоритмические и семантические вопросы математической логики. 2016-2020
- Кафедра математической логики и теории алгоритмов
- Руководители: Успенский В.А., Семенов А.Л. Ответственные исполнители: Золин Е.Е., Пентус М.Р. Участники НИР: Яворская Т.Л., Кузнецов С.Л., Адян С.И., Семенов А.Л., Шехтман В.Б., Плиско В.Е., Крупский В.Н., Сорокин А.А., Любецкий В.А., Беклемишев Л.Д., Верещагин Н.К.