доктор физико-математических наук с 1984 года
академик РАН с 22 декабря 2011 г.
профессор по кафедре с 18 февраля 1998 г.
академик РАО с 19 ноября 2010 г.
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) заведующий кафедрой с 1 сентября 2018 г.
Институт математических исследований сложных систем заведующий лабораторией с 16 февраля 2023 г., по совместительству
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) ведущий научный сотрудник с 27 июня 2008 г. по 30 июня 2015 г., по совместительству
Кафедра математической логики и теории алгоритмов (Механико-математический факультет) профессор с 1 сентября 2015 г. по 31 августа 2018 г., по совместительству
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) ответственный по системе
Всего: 254 статьи, 20 тезисов докладов, 325 книг, 2 диссертации, 7 НИР, 9 руководств диссертациями, 25 дипломных работ, 43 учебных курса, 40 преподаваний курсов, 127 докладов на конференциях, 51 выступление в СМИ, 35 членств в редколлегиях журналов, 1 членство в редколлегии сборника, 42 членства в программных комитетах, 6 членств в диссертационных советах, 4 оценивания диссертаций, 6 наград, 2 членства в научных обществах, 1 почетное членство в организации.
Количество цитирований статей в журналах по данным
Scopus: 271,
Web of Science: 231
Соавторы: Рудченко Т.А., Сопрунов С.Ф., Успенский В.А., Панфёров В.С., Уваров А.Ю., Мучник А.А., Беклемишев Л.Д., Сергеев И.Н., Бухштабер В.М., Ященко И.В., Абылкасымова А.Е., Бубнов А.С., Новиков С.П., Поликарпов С.А., Шень А., Белов А.Я., Булин-Соколова Е.И., Гришин И.Ю., Muchnik А.А., Высоцкий И.Р., Пентус М.Р., Раевский Е.Н., Тимиргалеева Р.Р., Гончаров С.С., Козлов В.В., Кондратьев В.В., Посицельская М.А., Шестаков С.А., Шноль Д.Э., Razborov A.A., Адян С.И., Атабекян В.С., Варданян В.А., Вишняков Ю.С., Гриншкун В.В., Журавлев Ю.И., Захаров П.И., Константинов Н.Н., Кушниренко А.Г., Нестеренко Ю.В., Семёнова М.А., Шабат Г.Б., Bulin-Sokolova E.I., Андреев Н.Н., Арлазаров В.Л., Асмолов А.Г., Атанасян С.Л., Верещагин Н.К., Горячко В.В., Иванов-Погодаев И.А., Ильяшенко Ю.С., Лысёнок И.Г., Матиясевич Ю.В., Муранов А.А., Окунь Л.Б., Оноприенко А.А., Реста П., Садовничий В.А., Тихомиров В.М., Хованский А.Г., Чирский В.Г., Чубариков В.Н., Шамолин М.В., Abylkassymova A.E., Boris B., Cherkasskii B.V., Kalimullin A.A., Kronrod M., Lysënok I.G., Аграчев А.А., Архангельский А.В., Боровских А.В., Галлини Н.И., Гамкрелидзе Р.В., Гарбер А.И., Горбунов-Посадов М.М., Дворяткина С.Н., Диниц Е.А., Жижченко А.Б., Зискин К.Е., Иванов А.О., Каракозов С.Д., Карзанов А.В., Карпенко С.Ф., Ковнир Е.В., Коновалов С.П., Куприянов Р.Б., Лубков А.В., Малыхин В.И., Мальцев А.А., Овчинников А.В., Осипов Ю.С., Паршин А.Н., Пасынков Б.А., Певзнер П.А., Поливанова А.К., Полилова Т.А., Посицельский С.Е., Притыкин Ю.Л., Ранчин Д.В., Сабитов И.Х., Слисенко А.О., Таламбуца А.Л., Трещев Д.В., Туганбаев А.А., Успенский В.В., Фараджев И.А., Чехович Ю.В., Шамолин В.А., Шафаревич А.И., Шостак А.В., Amirdzhanov G.P., Bannayan H.E., Conery L., Dvoretskaya I., Faizrakhmanov M.K., Gorsky M., Gukasov I., Imaykin V., Kabanikhin S.I., Kalas I., Laurillard D., Laval E., Levin I., Morduhovich A.M., Musgrave S.C., Nikolai Petrovich Shchepin E.V., Nikuna P., Rebrov E.A., Reshetnyak Y.G., Rogovina , Sergeev A.G., Sheinman O.K., Shtogrin M.I., Sonn Y., Tursanyi-Szabo M., Абанкина И.В., Абызов А.А., Адамский А.И., Аллеманд А.О., Амирджанов Г.П., Архангельский В.А., Бабенко М.А., Баронене С.Г., Бахтина Е.Н., Башев В.В., Белеградек О.В., Беляев В.Н., Бетелин В.Б., Бешенков С.А., Бокуть Л.А., Боровская М.А., Бронштейн И.М., Бугаенко В.О., Бунимович Е.А., Быковский В.А., Вайнштейн Ю.В., Валиев М.К., Василевский Ю.В., Васильев В.А., Васильев В.С., Васильева О.Ю., Вершик А.М., Визгин В.П., Вирченко Ю.П., Вишникин М.Е., Вишняков Ю.С., Вовк В.Г., Водопьянов С.К., Воног В.В., Воронин В.Е., Воронцов К.В., Габдрахманов Н.К., Гирш Э.А., Гитик М., Голод Е.С., Городенцев А.Л., Григорьев С.Г., Гришин И.Ю., Грюнталь А.И., Гукаленко О.В., Гукасов И.И., Гулин Д.А., Гулько С.П., Гуляев А.В., Гунько С.Н., Гуревич Ю.Ш., Дадеркин Д.О., Данцин Е.Я., Деза Е.И., Демченко В.В., Дехтярь М.И., Диковский А.Я., Добровольский Д.Д., Добровольский Н.М., Добровольский Н.М., Добровольский Н.Н., Дориченко С.А., Драгалин А.Г., Дубровский В.Н., Дудаков С.М., Ершов А.П., Ершов Ю.Л., Жуковицкая Н.Н., Забежайло М.И., Зайцев Е.А., Запарованный Ю., Заславская О.Ю., Захаров П.Н., Зельманов Е.И., Зильбер Б.И., Золин Е.Е., Зубарева Е.В., Иванов С.А., Иванов-Погодаев И.А., Исаев Р.Д., КОРОТКОВ А.М., Казанцев Д., Каракозов С.Д., Кириллов А.А., Клименко А.В., Книерзингер А., Кобозева И.М., Козарезова О.О., Козко А.И., Козлов Лысёнок В.В., Козлов М.В., Колмогоров А.Н., Комаров С.И., Комбаров А.П., Кондаков А.М., Коровин В.И., Крейнович В.Я., Кругляков В.М., Крупицын Е.С., Крупский В.Н., Крушкаль С.Л., Кузичев А.С., Кузнецов О.П., Кузнецов С.Л., Кузьмин А.Ю., Куижева С.К., Курнешова Л.Е., Кусраев А.Г., Кутателадзе С.С., Кушниренко А.Г., Ландо С.К., Ланская Е., Лачаева М.Ю., Лебедев Г.В., Левицкий М.Л., Леонов А.Г., Литвинов В.Л., Лобанов А.И., Ловягин С.А., Лукашевич Н.В., Лысов Ю.П., Любецкий В.А., Майсурадзе А.И., Макотрова Г.В., Малеванов Е.Ю., Марголис А.А., Матвеев В.Ю., Мельников И.И., Минц Г.Е., Михалёв А.В., Михалёв А.В., Можайский А.Ю., Муравник А.Б., Мусикаев И.Х., Назайкинский В.Е., Несмелова М.Л., Нидерман И.А., Никитин И.С., Ногина Е.Ю., Носкин Л.А., Оревков В.П., Орлов Д.О., Пачиков С., Пичугов А.А., Платонов В.П., Плунгян В.А., Подольский В.В., Подуфалов Н.Д., Поспелов И.Г., Пржиленская И.Б., Псху А.В., Пушняков А.С., Ракова М.Р., Рамбл Е., Рахилина Е.В., Реморенко И.М., Розанова С.А., Розов Н.Х., Рубан В., Рудаков К.В., Рыжова Н.И., Рябенький В.С., САИДОВ З.А., Савенков А.И., Салехова Л.Л., Селиванов В.Л., Сергеев А.Г., Сергоманов П.А., Сериков В.В., Синелобов А.П., Ситник С.М., Скубачевский А.Л., Славина В.А., Смирнов В.А., Смирнова Г.С., Смолянинова О.Г., Соколов А.С., Соколов И.А., Солдатов А.П., Соловейчик А.С., Сорокин А.А., Столбоушкин А.П., Студитский В.М., Татевосов С.Г., Татур А.О., Таханов Р., Тишкин В.Ф., Толпыго А.К., Торшин И.Ю., Трахтенброт Б.А., Трубина Л.А., Тыртышников Е.Е., Уваров А.Ю., Уваров Ф.В., Угринович Н.Д., Ушаков М.А., Файзрахманов М.Х., Федотенко М.А., Фиалкова Т.А., Фидченко О.В., Фиофанова О.А., Фишбейн Д.Е., Флеров Ю.А., Френкин Б.Р., Фрумин И.Д., Харламенко И.В., Цукерман Г.А., Черепнин А.А., Четверушкин Б.Н., Чиненова В.Н., Шалоткина Н.А., Шананин А.А., Шевелев Ю.Д., Шейнман О.К., Шершнева В.А., Шехтман В.Б., Шишкина Э.Л., Штогрин М.И., Щепин Е.В., Юркина Н.Н., Яворская Т.Л., Якобовский М.В., Якушкин П.А.