доктор физико-математических наук с 2002 года
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) профессор с 1 сентября 2020 г., по совместительству
Bar-Ilan University
Всего: 429 статей, 102 тезисов докладов, 37 книг, 2 диссертации, 12 НИР, 14 руководств диссертациями, 37 дипломных работ, 3 курсовые работы, 41 учебный курс, 5 преподаваний курсов, 218 докладов на конференциях, 5 выступления в СМИ, 15 патентов, 10 членств в редколлегиях журналов, 7 членств в программных комитетах, 12 наград.
Количество цитирований статей в журналах по данным
Scopus: 1908,
Web of Science: 916
Соавторы: Иванов-Погодаев И.А., Rowen L.H., Jie-Tai Y.;., Estrin 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., Allemand A., Arndt S., Beletskii A.B., Berzins A., Bokut L., Centrone L., Centrone L., Dean M., Deev R., Deryagin D.V., Domoshnitsky A., Dubrovsky V., Fahong Y., Farmerie W., Fernique T., Gateva-Ivanova T., Gavrilenko P.G., Gavriliuk A., Giambruno A., Haitao Z., Heinis A., Houlis P., Huan N.H., Høyland K.V., Iannucculli W., Imaykin V., Ismailov A., Jie-Tai Y., Ju J., Kinzina I., Knop K., Kohn A.B., Krylov P.A., Kuznetsov S.L., La Scala R., Lame N.J., Makar–Limanov L., Matushkin A.D., Mityagin A.Y., Molotnikov A., Murashkin M., Nilov F.K., Pezzini S., Puthanveettil S.V., Raghdan A.A., Russo J., Sadykov R.S., Salminen A., Schaare S., Semenov A.L., Shapovalov A., Sharov F., Shevtsova M., Shnider G.O., Shpilrain V., Skopenkov A., Sorokin A.A., Strukov G.A., Thomas H.J., Vladlen T., Yaroslavtsev I.S., Yu B., Yu J.T., Zgurskii V., Абугалиев Р.Ш., Авилов А.А., Аджанс А.В., Адрианов Н.М., Антропов А.В., Арлазаров В.Л., Арнольд В.Д., Атамась Е., Ахманова М.А., Бакаев Е., Бахарев А.А., Бахтурин Ю.А., Беднов Б.Б., Берник В.И., Бохенек А.С., Бузиниер М.А., Бунина Е.И., Бунина Е.И., Васильев В.А., Васильев В.С., Васильев М.Ю., Васильев Н.Б., Веретенников Е., Вирченко Ю.П., Войнов А.С., Воробьев Д.Д., Воробьев И.Е., Воробьёв И., Воронцов А.Д., Вылегжанин Ф.Е., Высоцкий И.Р., Вялый М.Н., Гаврилюк А.А., Гажур И.А., Галатенко В.В., Галкин С.И., Гальперин Г.А., Гервер М.Л., Гийон П., Гичев В.М., Главацкий С.Т., Глебов А.Н., Голафшан М., Голованов А., Голубчик И.З., Гонсалес С.Р., Горбачев А.Н., Гордин Р.К., Горин В.Е., Горицкий А.Ю., Горский Е.А., Григорьев С.В., Гусев А., Гутерман А.Э., Дидин М., Дмитриев И.А., Добровольский Д.Д., Долбилин Н.П., Доценко В.В., Дубровин Н.И., Егоров А.А., Ершов Ю.Л., Жданович П.Б., Жилина А., Завадский Д.А., Зеленский А.С., Зельманов Е.И., Иванов А.О., Иванов А.О., Изместьев И.В., Ильина Н.К., Ильяшенко Ю.С., Исаев Р.Д., Исмаилов А., Исхаков С.М., Калачиков Е.В., Караваев Г., Караулов В.М., Караханов Э.А., Карпелевич М.Ф., Карпов А.Н., Карпушкин Д., Карташова А.В., Кемер А.Р., Ким С., Кислицын Е.С., Клячко А.А., Ковальджи В.К., Козлов П.Ю., Колчев А.А., Колюцкий Г.А., Коматовский М.О., Компацева Е.И., Кондратьев В.В., Конягин С.В., Корнеев С.А., Костина Е., Крейнес Е.М., Креков Д.М., Крутовский Р., Кудряшов Ю., Кузнец Р.М., Кузнецов С.Л., Кузьменко Ю.В., Куижева С.К., Кукса Е.Ю., Куликова О.В., Купавский А.Б., Кусраев А.Г., Куссев А., Кустарёв А.М., Кушниренко А.Г., Куюмжиян К.Г., Леенсон М., Ли М., Лобанов М.С., Лукашенко Т.П., Лысов Ю.П., Мазин М.В., Малиновская О.Г., Малкин М., Мамхегов А.Б., Мантуров В.О., Мантуров В.О., Маркова О.В., Мартинес К., Матиясевич Ю.В., Межиров И.В., Мелешкина А.В., Мельников И., Метелев Д., Минаев Г., Митрофанов И.В., Михалев А.А., Мищенко С.П., Могильных А.Е., Моденов М.Ю., Мороз Л.Л., Мощевитин Н.Г., Муравник А.Б., Мухин Д., Наводнов В.Г., Нестеренко Ю.В., Неустроева Е.А., Неустроева Л., Нилов Ф.К., Новиков В.В., Новиков С.П., Новодворская Е.А., Оганесян Г.А., Оганесян Г.А., Ольшанский А.Ю., Ощенко А.А., Павлова В.В., Панчин Ю.В., Певницкий Д.Л., Пентус А.Е., Перепечко А.Ю., Песина С.А., Пивоваров Ф.В., Пивоварова К.Г., Пинаев Г.П., Плетнер Ю.Д., Плоткин Е.Б., Погудин Г.А., Полозков С.С., Полянский А.А., Потапов Г., Прасолов М.В., Притыкин Ю.Л., Протасов В.Ю., Псху А.В., Пчелинцев С.В., Радзивиловский Л.В., Размыслов Ю.П., Расстригин А.Л., Ревина С.В., Резников А.Б., Рипс И.А., Розанова С.А., Романова П.С., Русских И., САИДОВ З.А., Садовничий А., Сайгак А.В., Салихов К.Р., Селегей В.П., Сергеев П.В., Ситник С.М., Скубачевский А.Л., Смирнова Л., Соколов А.А., Соколова В., Солдатов А.П., Сончжон К., Сорокин А.А., Сорокина Д.И., Спиридонов С.В., Станчиц С.А., Струков Г.А., Суханов Л.А., Сыроватская С.В., Тарамова Х.С., Тензина В.В., Тимашёв Д.А., Трифонов И.Т., Тумайкин И.Н., Уваров Ф.В., Умарова А.А., Усольцев В.В., Фейгин Б.Л., Финашин С.М., Флеров А.А., Фомин Д.В., Френкель Е.В., Харченко В.К., Хованский А.Г., Хорошкин А.С., Храбров Н.К., Хроменков Я.В., Царëв А.В., Цой Е.В., Чеботарев А.С., Чеботаренко А.О., Чеканов Ю., Челноков Г.А., Черников А.В., Чуканов А.Н., Чуканов Н.В., Шабанов Л., Шамсутдинов А.А., Шапошников С.В., Шарыгин И.Ф., Шатохин Н.Н., Шатунов Л., Шафаревич А.А., Ширшова Е.Е., Шишкина Э.Л., Шнайдер Г.О., Шнурников И.Н., Шудуева И.С., Щучкин Н.А., Юмашев М.В., Юран А., Юраш А.Ю., Яковенко А.А., Якушкин П.А., Яровиков Ю.Н., Яценко А.Д., Ященко В.В., Ященко М.И.