доктор физико-математических наук с 1991 года
профессор по кафедре с 26 июля 1995 г.
МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) профессор с 1 сентября 2015 г., по совместительству
Заведующий лабораторией в Институте проблем передачи информации Российской академии наук (ИППИ РАН); главный научный сотрудник Научно-исследовательского центра электронной вычислительной техники (НИЦЭВТ)
Всего: 246 статей, 18 тезисов докладов, 8 книг, 2 диссертации, 4 НИР, 10 руководств диссертациями, 2 дипломные работы, 7 курсовых работ, 6 учебных курсов, 10 преподаваний курсов, 22 доклада на конференциях, 7 свидетельств о регистрации прав на ПО, 3 членства в редколлегиях журналов, 3 членства в программных комитетах, 2 членства в диссертационных советах, 2 членства в научных обществах.
Количество цитирований статей в журналах по данным
Scopus: 766,
Web of Science: 481
Соавторы: Кановей В.Г., Селиверстов А.В., Горбунов К.Ю., Зверков О.А., Русин Л.Ю., Рубанов Л.И., Шиловский Г.А., Алёшин В.В., Зарайский А.Г., Королев С.А., Михайлов К.В., Путятина Т.С., Ашапкин В.В., Вьюгин В.В., Лопатовская К.В., Любецкая Е.В., Гершгорин Р.А., Кузнецов Н.А., Tereshina M.B., Гельфанд М.С., Голубцов П.В., Короткова Д.Д., Николаева О.В., Пирогов С.А., Jian-dong Z., Kumar S., Piel W.H., Верещагин Н.К., Марков А.В., Минина Е.П., Мороз Л.Л., Нестеренко А.М., Никитин М.А., Панчин Ю.В., Сорокина Е.В., Чернавский А.В., Ямскова О.В., Bayramov A.V., Ermakova G.V., Meyntser I.V., Reeken M., Stadler P.F., Troshin P.V., Бабенко М.А., Белов А.Я., Вишникин М.Е., Высоких М.Ю., Драгалин А.Г., Жижина Е.А., Золин Е.Е., Иванова А.С., Константинова А.В., Крупский В.Н., Миронов А.А., Мыльников А.П., Оноприенко А.А., Пентус М.Р., Розина А.А., Скулачев В.П., Слюсарев Г.С., Сопрунов С.Ф., Шехтман В.Б., Шрам С.И., Яворская Т.Л., Bei-Long Z., Bychkovskaia I.B., Cao Z., Chen X., Enayat A., Golshani M., Gorelysheva D.I., Herzberg F.S., Hong-Cheng Z., Katz M., Kuznetsov S.L., Laikova O.N., Larijani M.J., Li Wen-Hao, Li Xiao-Jian, Li Zizhang, Miljutin D., Peshkin L., Quandt D., Rodionov D.A., Semenov A.L., Sorokin A.A., Tian-Chi W., Uroshlev L.A., Wen X., Xiang-Feng G., Xiang-Wen W., Yang J., Zhuo-Wen C., Арсланова А.А., Асарин Е.В., Быковская И.А., Ванюшин Б.Ф., Витрещак А.Г., Гордон Е.И., Горемыкина Г.И., Иванова А.С., Исаев С.В., Кий С.И., Кузнецов С.Л., Логачёва М.Д., Мардашова М.В., Мартынова Н.А., Мунтян М.С., Мюге Н.С., Павлова И.Б., Панина Е.Г., Пегова А.Н., Пенин А.А., Петров Н.Б., Санамян Н.П., Семенов А.Л., Сорокин А.А., Спирин С.А., Тунян А.А., Хазиев Г.А., Хромова М.Р., Чесунов А.В., Шитиков А.Д., Юшин В.В.