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