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