доктор физико-математических наук с 1984 года
академик РАН с 22 декабря 2011 г.
профессор по кафедре с 18 февраля 1998 г.
академик РАО с 19 ноября 2010 г.
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) заведующий кафедрой с 1 сентября 2018 г.
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) ведущий научный сотрудник с 27 июня 2008 г. по 30 июня 2015 г., по совместительству
Кафедра математической логики и теории алгоритмов (Механико-математический факультет) профессор с 1 сентября 2015 г. по 31 августа 2018 г., по совместительству
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) ответственный по системе
Всего: 223 статьи, 15 тезисов докладов, 290 книг, 2 диссертации, 7 НИР, 8 руководств диссертациями, 25 дипломных работ, 40 учебных курсов, 40 преподаваний курсов, 119 докладов на конференциях, 49 выступления в СМИ, 35 членств в редколлегиях журналов, 35 членств в программных комитетах, 6 членств в диссертационных советах, 4 оценивания диссертаций, 6 наград, 2 членства в научных обществах, 1 почетное членство в организации.
Количество цитирований статей в журналах по данным
Web of Science: 231,
Scopus: 177
Соавторы: Рудченко Т.А., Сопрунов С.Ф., Успенский В.А., Мучник А.А., Панфёров В.С., Беклемишев Л.Д., Бухштабер В.М., Сергеев И.Н., Ященко И.В., Бубнов А.С., Новиков С.П., Поликарпов С.А., Абылкасымова А.Е., Булин-Соколова Е.И., Гришин И.Ю., Уваров А.Ю., Шень А., 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., Faizrakhmanov M.K., 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., Абанкина И.В., Абызов А.А., Адамский А.И., Амирджанов Г.П., Архангельский В.А., Баронене С.Г., Бахтина Е.Н., Башев В.В., Белеградек О.В., Беляев В.Н., Бетелин В.Б., Бешенков С.А., Бокуть Л.А., Боровских А.В., Бронштейн И.М., Бугаенко В.О., Бунимович Е.А., Валиев М.К., Василевский Ю.В., Васильев В.А., Верещагин Н.К., Вершик А.М., Визгин В.П., Вирченко Ю.П., Вишняков Ю.С., Вовк В.Г., Водопьянов С.К., Воронин В.Е., Воронцов К.В., Габдрахманов Н.К., Галлини Н.И., Гирш Э.А., Гитик М., Голод Е.С., Городенцев А.Л., Григорьев С.Г., Гриншкун В.В., Грюнталь А.И., Гукасов И.И., Гулин Д.А., Гулько С.П., Гуляев А.В., Гунько С.Н., Гуревич Ю.Ш., Дадеркин Д.О., Данцин Е.Я., Демченко В.В., Дехтярь М.И., Диковский А.Я., Добровольский Н.М., Дориченко С.А., Драгалин А.Г., Дубровский В.Н., Ершов А.П., Ершов Ю.Л., Жуковицкая Н.Н., Забежайло М.И., Зайцев Е.А., Запарованный Ю., Захаров П.Н., Зельманов Е.И., Зильбер Б.И., Иванов А.О., Иванов С.А., Иванов-Погодаев И.А., Исаев Р.Д., Казанцев Д., Каракозов С.Д., Кириллов А.А., Клименко А.В., Книерзингер А., Кобозева И.М., Козарезова О.О., Козлов Лысёнок В.В., Козлов М.В., Колмогоров А.Н., Комаров С.И., Комбаров А.П., Кондаков А.М., Коровин В.И., Крейнович В.Я., Кругляков В.М., Крушкаль С.Л., Кузичев А.С., Кузнецов О.П., Кузьмин А.Ю., Курнешова Л.Е., Кутателадзе С.С., Кушниренко А.Г., Ландо С.К., Ланская Е., Лачаева М.Ю., Лебедев Г.В., Лобанов А.И., Ловягин С.А., Лубков А.В., Лысов Ю.П., Майсурадзе А.И., Макотрова Г.В., Малеванов Е.Ю., Мамий Д.Д., Марголис А.А., Марченко Л.Е., Минц Г.Е., Михалёв А.В., Михалёв А.В., Можайский А.Ю., Мусикаев И.Х., Несмелова М.Л., Нидерман И.А., Никитин И.С., Ногина Е.Ю., Носкин Л.А., Оревков В.П., Орлов Д.О., Пачиков С., Плунгян В.А., Подольский В.В., Поспелов И.Г., Пржиленская И.Б., Пушняков А.С., Ракова М.Р., Рамбл Е., Рахилина Е.В., Реморенко И.М., Розов Н.Х., Рубан В., Рудаков К.В., Рябенький В.С., Селиванов В.Л., Сергеев А.Г., Сергоманов П.А., Синелобов А.П., Ситник С.М., Славина В.А., Смирнов В.А., Смирнова Г.С., Соколов А.С., Соколов И.А., Соловейчик А.С., Столбоушкин А.П., Студитский В.М., Тайманов И.А., Татевосов С.Г., Татур А.О., Таханов Р., Тишкин В.Ф., Толпыго А.К., Торшин И.Ю., Трахтенброт Б.А., Трубина Л.А., Тыртышников Е.Е., Уваров А.Ю., Уваров Ф.В., Угринович Н.Д., Ушаков М.А., Файзрахманов М.Х., Фиалкова Т.А., Фидченко О.В., Фиофанова О.А., Фишбейн Д.Е., Флеров Ю.А., Френкин Б.Р., Фрумин И.Д., Цукерман Г.А., Черепнин А.А., Четверушкин Б.Н., Чехович Ю.В., Чиненова В.Н., Чубариков В.Н., Шалоткина Н.А., Шананин А.А., Шафаревич А.И., Шевелев Ю.Д., Шейнман О.К., Штогрин М.И., Щепин Е.В., Юркина Н.Н., Якобовский М.В., Якушкин П.А.