доктор физико-математических наук с 2002 года
профессор по специальности № Математическая логика, алгебра, теория чисел и дискретная математика с 24 марта 2023 г.
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) профессор с 1 сентября 2020 г., по совместительству
Bar-Ilan University
Всего: 408 статей, 97 тезисов докладов, 37 книг, 2 диссертации, 12 НИР, 14 руководств диссертациями, 35 дипломных работ, 3 курсовые работы, 41 учебный курс, 5 преподаваний курсов, 195 докладов на конференциях, 4 выступление в СМИ, 13 патентов, 10 членств в редколлегиях журналов, 6 членств в программных комитетах, 12 наград.
Количество цитирований статей в журналах по данным
Web of Science: 916,
Scopus: 1389
Соавторы: Иванов-Погодаев И.А., 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., Абугалиев Р.Ш., Авилов А.А., Аджанс А.В., Адрианов Н.М., Антропов А.В., Арлазаров В.Л., Арнольд В.Д., Атамась Е., Ахманова М.А., Бакаев Е., Бахарев А.А., Бахтурин Ю.А., Беднов Б.Б., Берник В.И., Бохенек А.С., Бузиниер М.А., Бунина Е.И., Бунина Е.И., Васильев В.А., Васильев В.С., Васильев М.Ю., Васильев Н.Б., Веретенников Е., Вирченко Ю.П., Войнов А.С., Воробьёв И., Воронцов А.Д., Вылегжанин Ф.Е., Высоцкий И.Р., Вялый М.Н., Гаврилюк А.А., Гажур И.А., Галатенко В.В., Галкин С.И., Гальперин Г.А., Гервер М.Л., Гийон П., Гичев В.М., Главацкий С.Т., Глебов А.Н., Голафшан М., Голованов А., Голубчик И.З., Гонсалес С.Р., Горбачев А.Н., Гордин Р.К., Горин В.Е., Горицкий А.Ю., Горский Е.А., Григорьев С.В., Гусев А., Гутерман А.Э., Дидин М., Дмитриев И.А., Добровольский Д.Д., Долбилин Н.П., Доценко В.В., Дубровин Н.И., Егоров А.А., Ершов Ю.Л., Жданович П.Б., Жилина А., Зеленский А.С., Зельманов Е.И., Иванов А.О., Иванов А.О., Иванов-Погодаев И.А., Изместьев И.В., Ильина Н.К., Ильяшенко Ю.С., Исаев Р.Д., Исмаилов А., Исхаков С.М., Караваев Г., Караулов В.М., Карпелевич М.Ф., Карпов А.Н., Карпушкин Д., Карташова А.В., Кемер А.Р., Ким С., Кислицын Е.С., Клячко А.А., Ковальджи В.К., Козлов П.Ю., Колчев А.А., Колюцкий Г.А., Коматовский М.О., Компацева Е.И., Кондратьев В.В., Конягин С.В., Костина Е., Крейнес Е.М., Креков Д.М., Крутовский Р., Кудряшов Ю., Кузнец Р.М., Кузьменко Ю.В., Куижева С.К., Кукса Е.Ю., Куликова О.В., Купавский А.Б., Кусраев А.Г., Куссев А., Кустарёв А.М., Кушниренко А.Г., Куюмжиян К.Г., Леенсон М., Лобанов М.С., Ложкин С.А., Лукашенко Т.П., Лысов Ю.П., Мазин М.В., Малиновская О.Г., Малкин М., Мамхегов А.Б., Мантуров В.О., Мантуров В.О., Маркова О.В., Мартинес К., Матиясевич Ю.В., Межиров И.В., Мелешкина А.В., Мельников И., Метелев Д., Минаев Г., Михалев А.А., Мищенко С.П., Моденов М.Ю., Мощевитин Н.Г., Муравник А.Б., Мухин Д., Наводнов В.Г., Нестеренко Ю.В., Неустроева Е.А., Неустроева Л., Новиков В.В., Новиков С.П., Новодворская Е.А., Оганесян Г.А., Ольшанский А.Ю., Оноприенко А.А., Ощенко А.А., Павлова В.В., Пентус А.Е., Перепечко А.Ю., Пинаев Г.П., Плоткин Е.Б., Погудин Г.А., Полянский А.А., Потапов Г., Прасолов М.В., Притыкин Ю.Л., Протасов В.Ю., Псху А.В., Пчелинцев С.В., Радзивиловский Л.В., Размыслов Ю.П., Расстригин А.Л., Резников А.Б., Рипс И.А., Розанова С.А., Русских И., САИДОВ З.А., Садовничий А., Селегей В.П., Сергеев П.В., Ситник С.М., Скубачевский А.Л., Смирнова Л., Соколов А.А., Соколова В., Солдатов А.П., Сончжон К., Спиридонов С.В., Станчиц С.А., Струков Г.А., Суханов Л.А., Сыроватская С.В., Тарамова Х.С., Тензина В.В., Тимашёв Д.А., Трифонов И.Т., Тумайкин И.Н., Уваров Ф.В., Умарова А.А., Усольцев В.В., Фейгин Б.Л., Финашин С.М., Флеров А.А., Фомин Д.В., Френкель Е.В., Харченко В.К., Хованский А.Г., Хорошкин А.С., Храбров Н.К., Хроменков Я.В., Царëв А.В., Цой Е.В., Чеботарев А.С., Чеботаренко А., Чеканов Ю., Челноков Г.А., Черников А.В., Чуканов А.Н., Чуканов Н.В., Шабанов Л., Шапиро А.А., Шапошников С.В., Шарыгин И.Ф., Шатохин Н.Н., Шатунов Л., Шафаревич А.А., Ширшова Е.Е., Шишкина Э.Л., Шнайдер Г.О., Шнурников И.Н., Шудуева И.С., Щучкин Н.А., Юмашев М.В., Юран А., Юраш А.Ю., Ягола А.Г., Яковенко А.А., Якушкин П.А., Яровиков Ю.Н., Яценко А.Д., Ященко В.В., Ященко М.И.