доктор физико-математических наук с 1984 года
академик РАН с 22 декабря 2011 г.
профессор по кафедре с 18 февраля 1998 г.
академик РАО с 19 ноября 2010 г.
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) заведующий кафедрой с 1 сентября 2018 г.
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) ведущий научный сотрудник с 27 июня 2008 г. по 30 июня 2015 г., по совместительству
Кафедра математической логики и теории алгоритмов (Механико-математический факультет) профессор с 1 сентября 2015 г. по 31 августа 2018 г., по совместительству
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) ответственный по системе
Всего: 211 статей, 15 тезисов докладов, 290 книг, 2 диссертации, 7 НИР, 8 руководств диссертациями, 25 дипломных работ, 39 учебных курсов, 40 преподаваний курсов, 108 докладов на конференциях, 45 выступления в СМИ, 35 членств в редколлегиях журналов, 35 членств в программных комитетах, 6 членств в диссертационных советах, 4 оценивания диссертаций, 6 наград, 2 членства в научных обществах, 1 почетное членство в организации.
Количество цитирований статей в журналах по данным
Web of Science: 231,
Scopus: 171
Соавторы: Рудченко Т.А., Сопрунов С.Ф., Успенский В.А., Мучник А.А., Панфёров В.С., Беклемишев Л.Д., Ященко И.В., Бухштабер В.М., Новиков С.П., Поликарпов С.А., Сергеев И.Н., Бубнов А.С., Булин-Соколова Е.И., Шень А., Muchnik А.А., Высоцкий И.Р., Уваров А.Ю., Гришин И.Ю., Козлов В.В., Кондратьев В.В., Пентус М.Р., Посицельская М.А., Раевский Е.Н., Шестаков С.А., Шноль Д.Э., Razborov A.A., Адян С.И., Атабекян В.С., Белов А.Я., Варданян В.А., Вишняков Ю.С., Горячко В.В., Журавлев Ю.И., Захаров П.И., Константинов Н.Н., Семёнова М.А., Шабат Г.Б., Bulin-Sokolova E.I., Абылкасымова А.Е., Андреев Н.Н., Арлазаров В.Л., Асмолов А.Г., Атанасян С.Л., Гончаров С.С., Иванов-Погодаев И.А., Ильяшенко Ю.С., Кушниренко А.Г., Лысёнок И.Г., Матиясевич Ю.В., Муранов А.А., Окунь Л.Б., Реста П., Садовничий В.А., Тимиргалеева Р.Р., Тихомиров В.М., Хованский А.Г., Чирский В.Г., Boris B., Cherkasskii B.V., Kronrod M., Lysënok I.G., Аграчев А.А., Архангельский А.В., Гамкрелидзе Р.В., Гарбер А.И., Горбунов-Посадов М.М., Диниц Е.А., Жижченко А.Б., Зискин К.Е., Каракозов С.Д., Карзанов А.В., Карпенко С.Ф., Коновалов С.П., Куприянов Р.Б., Малыхин В.И., Мальцев А.А., Нестеренко Ю.В., Овчинников А.В., Осипов Ю.С., Паршин А.Н., Пасынков Б.А., Певзнер П.А., Поливанова А.К., Полилова Т.А., Посицельский С.Е., Притыкин Ю.Л., Ранчин Д.В., Сабитов И.Х., Слисенко А.О., Таламбуца А.Л., Трещев Д.В., Успенский В.В., Фараджев И.А., Шамолин В.А., Шостак А.В., Abylkassymova A.E., Amirdzhanov G.P., Bannayan H.E., Conery L., Gukasov I., Imaykin V., Kabanikhin S.I., Kalas I., Laurillard D., Laval E., Mamiy D., 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., Абанкина И.В., Адамский А.И., Амирджанов Г.П., Архангельский В.А., Баронене С.Г., Бахтина Е.Н., Башев В.В., Белеградек О.В., Беляев В.Н., Бетелин В.Б., Бешенков С.А., Бокуть Л.А., Бронштейн И.М., Бугаенко В.О., Бунимович Е.А., Валиев М.К., Василевский Ю.В., Васильев В.А., Васильев В.С., Верещагин Н.К., Вершик А.М., Визгин В.П., Вирченко Ю.П., Вишняков Ю.С., Вовк В.Г., Водопьянов С.К., Воронин В.Е., Воронцов К.В., Габдрахманов Н.К., Гирш Э.А., Гитик М., Голод Е.С., Городенцев А.Л., Григорьев С.Г., Гриншкун В.В., Грюнталь А.И., Гукасов И.И., Гулин Д.А., Гулько С.П., Гунько С.Н., Гуревич Ю.Ш., Дадеркин Д.О., Данцин Е.Я., Демченко В.В., Дехтярь М.И., Диковский А.Я., Добровольский Н.М., Дориченко С.А., Драгалин А.Г., Дубровский В.Н., Ершов А.П., Жуковицкая Н.Н., Забежайло М.И., Зайцев Е.А., Запарованный Ю., Захаров П.Н., Зельманов Е.И., Зильбер Б.И., Иванов А.О., Иванов С.А., Иванов-Погодаев И.А., Исаев Р.Д., Казанцев Д., Каракозов С.Д., Кириллов А.А., Клименко А.В., Книерзингер А., Козарезова О.О., Козлов Лысёнок В.В., Козлов М.В., Колмогоров А.Н., Комаров С.И., Комбаров А.П., Кондаков А.М., Коровин В.И., Крейнович В.Я., Кругляков В.М., Крушкаль С.Л., Кузичев А.С., Кузнецов О.П., Кузьмин А.Ю., Куижева С.К., Курнешова Л.Е., Кусраев А.Г., Кутателадзе С.С., Кушниренко А.Г., Ландо С.К., Ланская Е., Лачаева М.Ю., Лебедев Г.В., Лобанов А.И., Ловягин С.А., Лубков А.В., Лысов Ю.П., Майсурадзе А.И., Макотрова Г.В., Малеванов Е.Ю., Марголис А.А., Минц Г.Е., Михалёв А.В., Михалёв А.В., Можайский А.Ю., Муравник А.Б., Мусикаев И.Х., Несмелова М.Л., Нидерман И.А., Никитин И.С., Ногина Е.Ю., Носкин Л.А., Оревков В.П., Орлов Д.О., Пачиков С., Плунгян В.А., Подольский В.В., Поспелов И.Г., Пржиленская И.Б., Псху А.В., Пушняков А.С., Ракова М.Р., Рамбл Е., Рахилина Е.В., Реморенко И.М., Розанова С.А., Розов Н.Х., Рубан В., Рудаков К.В., Рябенький В.С., САИДОВ З.А., Сергеев А.Г., Сергоманов П.А., Синелобов А.П., Ситник С.М., Скубачевский А.Л., Славина В.А., Смирнов В.А., Смирнова Г.С., Соколов А.С., Соколов И.А., Солдатов А.П., Соловейчик А.С., Столбоушкин А.П., Студитский В.М., Тайманов И.А., Татевосов С.Г., Татур А.О., Таханов Р., Тишкин В.Ф., Толпыго А.К., Торшин И.Ю., Трахтенброт Б.А., Трубина Л.А., Тыртышников Е.Е., Уваров А.Ю., Уваров Ф.В., Угринович Н.Д., Ушаков М.А., Фиалкова Т.А., Фидченко О.В., Фиофанова О.А., Фишбейн Д.Е., Флеров Ю.А., Френкин Б.Р., Фрумин И.Д., Цукерман Г.А., Черепнин А.А., Четверушкин Б.Н., Чехович Ю.В., Чиненова В.Н., Чубариков В.Н., Шалоткина Н.А., Шананин А.А., Шафаревич А.И., Шевелев Ю.Д., Шейнман О.К., Шишкина Э.Л., Штогрин М.И., Щепин Е.В., Юркина Н.Н., Ягола А.Г., Якобовский М.В., Якушкин П.А.