доктор физико-математических наук с 2002 года
профессор по специальности № Математическая логика, алгебра, теория чисел и дискретная математика с 24 марта 2023 г.
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) профессор с 1 сентября 2020 г., по совместительству
Bar-Ilan University
Всего: 409 статей, 97 тезисов докладов, 37 книг, 2 диссертации, 12 НИР, 14 руководств диссертациями, 35 дипломных работ, 3 курсовые работы, 41 учебный курс, 5 преподаваний курсов, 195 докладов на конференциях, 4 выступление в СМИ, 13 патентов, 10 членств в редколлегиях журналов, 6 членств в программных комитетах, 12 наград.
Количество цитирований статей в журналах по данным
Web of Science: 916,
Scopus: 1404
Соавторы: Иванов-Погодаев И.А., Rowen L.H., Estrin Y., Jie-Tai Y.;., Pasternak E., Dyskin A.V., Елишев А.М., Malev S., Ященко И.В., Френкин Б.Р., Zhang W., Явич Р., Vishne U., Ковальджи А.К., Голенищева-Кутузова Т.И., Митрофанов И.В., Харитонов М.И., Razavinia F., Дориченко С.А., Заславский А.А., Малистов А.С., Plotkin E., Чиликов А.А., Khor H.C., Блинов А., Косухин О.Н., Мерзон Г.А., Хачатурян А.В., Golafshan M., Маркелов С.В., Скопенков А.Б., Шейпак И.А., Kleptsyn V., Арнольд В.И., Аткарская А.С., Берштейн М.А., Бородин П.А., Канунников А.Л., Митрофанов И.В., Чернятьев А.Л., Lipyanskii R., Rips E., Бегунц А.В., Галочкин А.И., Ивлев Ф.А., Сергеев И.Н., Трепалин А.С., Aljadeff E., Богданов И.И., Бугаенко В.О., Гусев Г.Г., Кудряшов Ю.Б., Шафаревич А.И., Шноль Д.Э., Алексеев В.Б., Буфетов А.И., Волчкевич М.А., Горяшин Д.В., Евдокимов М.Г., Латышев В.Н., Райгородский А.М., Раскин М.А., Реброва И.Ю., Семенов А.Л., Тайхер М., Чубариков В.Н., Шаповалов А.В., Fedorov, Karavaeva T., Kontsevich M.L., Radionov V., Reshetnikov I.A., Борисенко В.В., Буланкина В.В., Бунькова Е.Ю., Гуровиц В.М., Деза Е.И., Дергач П.С., Джамбетов Э.М., Добровольский Н.М., Добровольский Н.Н., Каминский Д.Й., Кожевников П.А., Кондаков Г.В., Митрофанов И.Е., Панфёров В.С., Пономарев А.А., Blinkov A., Chernyatiev A., SHCHERBAKOV D.E., Акопян А.В., Алехнович М.В., Артамонов В.А., Балаба И.Н., Банникова А.Г., Бухштабер В.М., Волостное А.С., Гашков С.Б., Гончарук Н.Ю., Горская Е.С., Демидов С.С., Доледенок А.В., Зайцев Р., Заплетина О.М., Заславский О.А., Извеков Ю.А., Келлин Н.С., Кирова В.О., Кожухов И.Б., Кулыгин А.К., Кушнир А.Ю., Митричев П.И., Михалёв А.В., Нетай И.В., Нижников А.И., Нилов Ф.К., Панкратьев А.Е., Пермяков Д.А., Рухович Ф.Д., Сапир М.В., Ушаков В.Г., Фоменко А.Т., Фомин А.А., Чирский В.Г., Шарич В.З., Шень А., Anna E., Berstein M., Cherkashin D.D., Dor G., Grebnev K., Karasik Y., Kubyshkina M.V., Kunyavskii B., Loktev S.A., Melnikov I.A., Michailov R., Pines C., Sergey G., Skopenkov M., Tulupov O., Абрамов Я., Андреев Н.Н., Баранов Д.В., Барон П.Г., Бокуть Л.А., Брагин В.А., Бродский Д., Бутырин Б., Быковский В.А., Васильев В.С., Вельтищев Д.Н., Вельтищев М.Н., Воронов В., Воронов В.А., Вялый М.В., Гарманова Т.А., Городенцев А.Л., Грибалко А.В., Гришин А.В., Гусев А.С., Гусев Д., Добровольский Н.М., Домошницкий А., Жуковский М.Е., Зайцев М.В., Закорко П., Казарян М.Э., Казицына Т., Калиниченко М.И., Капицына Т.В., Климанова И., Кокшаров Р.Н., Колодей М., Комаров С.И., Кондакова Е.Г., Копьев Д.В., Корицкая Е.В., Корчемкина Т.А., Котельникова Ю.С., Кошелев В.А., Кублановский С.И., Кудык Н., Куижева С.К., Курносов Н.М., Кусраев А.Г., Ландо С.К., Лисицын М.Д., Макаров М.А., Медведь Н.Ю., Меньщиков А.Б., Михайлов И.А., Михалёв А.В., Муравник А.Б., Мусатов Д.В., Нелаев К.А., Новиков В., Ольшанский А.Ю., Орлов Д.О., Осипов И.И., Охитин С.В., Панюнин Н.М., Петухов А.В., Пешнин А.М., Попов А., Прасолов В.В., Произволов В.В., Прохоров Ю.Г., Псху А.В., Раскина И., Ретинский В.И., Розанова С.А., Рубанов И.С., САИДОВ З.А., Салихов В.Х., Сгибнев А.И., Сендеров В., Скрипченко А.С., Скубачевский А.Л., Слободич Я.А., Смирнов Е.Ю., Соколов А.А., Солдатов А.П., Сопрунов С.Ф., Сулейкин А.О., Тертерян А.С., Тиморин В.А., Тихомиров В.М., Тихонов Ю.В., Тищенко С.А., Толпыго А.К., Туганбаев А.А., Устиновский Ю.М., Федотова М.Ю., Филимонов В.П., Хачатурян А.А., Хачатурян М.А., Черкашин Д.Д., Чернов А.А., Чернышева Е.А., Шавельзон Н., Шанин И.А., Шаповалов А.В., Шестаков И.П., Шишкина Э.Л., Ягола А.Г., Abdulamin I., Arndt S., Beletskii A.B., Berzins A., Bokut L., Centrone L., Deev R., Deryagin D.V., Domoshnitsky A., Dubrovsky V., Fernique T., Gateva-Ivanova T., Gavrilenko P.G., Gavriliuk A., Giambruno A., Heinis A., Houlis P., Imaykin V., Ismailov A., Jie-Tai Y., Kinzina I., Knop K., Krylov P.A., Makar–Limanov L., Mamiy D., Matushkin A.D., Mityagin A.Y., Molotnikov A., Murashkin M., Nilov F.K., Sadykov R.S., Schaare S., Shapovalov A., Sharov F., Shevtsova M., Shnider G.O., Shpilrain V., Skopenkov A., Strukov G.A., Vladlen T., Yaroslavtsev I.S., Yu B., Yu J.T., Zgurskii V., Абугалиев Р.Ш., Авилов А.А., Аджанс А.В., Адрианов Н.М., Антропов А.В., Арлазаров В.Л., Арнольд В.Д., Атамась Е., Ахманова М.А., Бакаев Е., Бахарев А.А., Бахтурин Ю.А., Беднов Б.Б., Берник В.И., Бохенек А.С., Бузиниер М.А., Бунина Е.И., Бунина Е.И., Васильев В.А., Васильев М.Ю., Васильев Н.Б., Веретенников Е., Вирченко Ю.П., Войнов А.С., Воробьёв И., Воронцов А.Д., Вылегжанин Ф.Е., Высоцкий И.Р., Вялый М.Н., Гаврилюк А.А., Гажур И.А., Галатенко В.В., Галкин С.И., Гальперин Г.А., Гервер М.Л., Гийон П., Гичев В.М., Главацкий С.Т., Глебов А.Н., Голафшан М., Голованов А., Голубчик И.З., Гонсалес С.Р., Горбачев А.Н., Гордин Р.К., Горин В.Е., Горицкий А.Ю., Горский Е.А., Григорьев С.В., Гусев А., Гутерман А.Э., Дидин М., Дмитриев И.А., Добровольский Д.Д., Долбилин Н.П., Доценко В.В., Дубровин Н.И., Егоров А.А., Ершов Ю.Л., Жданович П.Б., Жилина А., Зеленский А.С., Зельманов Е.И., Иванов А.О., Иванов А.О., Иванов-Погодаев И.А., Изместьев И.В., Ильина Н.К., Ильяшенко Ю.С., Исаев Р.Д., Исмаилов А., Исхаков С.М., Караваев Г., Караулов В.М., Карпелевич М.Ф., Карпов А.Н., Карпушкин Д., Карташова А.В., Кемер А.Р., Ким С., Кислицын Е.С., Клячко А.А., Ковальджи В.К., Козлов П.Ю., Колчев А.А., Колюцкий Г.А., Коматовский М.О., Компацева Е.И., Кондратьев В.В., Конягин С.В., Костина Е., Крейнес Е.М., Креков Д.М., Крутовский Р., Кудряшов Ю., Кузнец Р.М., Кузьменко Ю.В., Кукса Е.Ю., Куликова О.В., Купавский А.Б., Куссев А., Кустарёв А.М., Кушниренко А.Г., Куюмжиян К.Г., Леенсон М., Лобанов М.С., Ложкин С.А., Лукашенко Т.П., Лысов Ю.П., Мазин М.В., Малиновская О.Г., Малкин М., Мамий Д.Д., Мамхегов А.Б., Мантуров В.О., Мантуров В.О., Маркова О.В., Мартинес К., Марченко Л.Е., Матиясевич Ю.В., Межиров И.В., Мелешкина А.В., Мельников И., Метелев Д., Минаев Г., Михалев А.А., Мищенко С.П., Моденов М.Ю., Мощевитин Н.Г., Мухин Д., Наводнов В.Г., Нестеренко Ю.В., Неустроева Е.А., Неустроева Л., Новиков В.В., Новиков С.П., Новодворская Е.А., Оганесян Г.А., Ольшанский А.Ю., Оноприенко А.А., Ощенко А.А., Павлова В.В., Пентус А.Е., Перепечко А.Ю., Пинаев Г.П., Плоткин Е.Б., Погудин Г.А., Полянский А.А., Потапов Г., Прасолов М.В., Притыкин Ю.Л., Протасов В.Ю., Пчелинцев С.В., Радзивиловский Л.В., Размыслов Ю.П., Расстригин А.Л., Резников А.Б., Рипс И.А., Русских И., Садовничий А., Селегей В.П., Сергеев П.В., Ситник С.М., Смирнова Л., Соколов А.А., Соколова В., Сончжон К., Спиридонов С.В., Станчиц С.А., Струков Г.А., Суханов Л.А., Сыроватская С.В., Тарамова Х.С., Тензина В.В., Тимашёв Д.А., Трифонов И.Т., Тумайкин И.Н., Уваров Ф.В., Умарова А.А., Усольцев В.В., Фейгин Б.Л., Финашин С.М., Флеров А.А., Фомин Д.В., Френкель Е.В., Харченко В.К., Хованский А.Г., Хорошкин А.С., Храбров Н.К., Хроменков Я.В., Царëв А.В., Цой Е.В., Чеботарев А.С., Чеботаренко А., Чеканов Ю., Челноков Г.А., Черников А.В., Чуканов А.Н., Чуканов Н.В., Шабанов Л., Шапиро А.А., Шапошников С.В., Шарыгин И.Ф., Шатохин Н.Н., Шатунов Л., Шафаревич А.А., Ширшова Е.Е., Шнайдер Г.О., Шнурников И.Н., Шудуева И.С., Щучкин Н.А., Юмашев М.В., Юран А., Юраш А.Ю., Яковенко А.А., Якушкин П.А., Яровиков Ю.Н., Яценко А.Д., Ященко В.В., Ященко М.И.