Академик Российской академии наук

Член-корреспондент Российской академии наук c 29 мая 2008 года, академик РАН с 22 декабря 2011 года. Отделение математических наук (информационные системы в образовании).

Академик Российской академии образования

Член-корреспондент Российской академии образования с 26 апреля 2006 года, академик РАО с 19 ноября 2010 года. Отделение общего среднего образования.

Действительный член Российской академии естественных наук

Член of European Association for Theoretical Computer Science

Сайт организации EATCS

Диплом МГУ с отличием

Решением Государственной экзаменационной комиссии от 28 июня 1972 года. Регистрационный № 209. Диплом № 745567, специальность - математика.

Диплом кандидата наук

Решением Совета Механико-Математического факультета МГУ от 27 июня 1975 года (протокол № 23) присуждена ученая степень кандидата физико-математических наук, МФМ № 024869.

Диплом доктора наук

Решением Высшей аттестационной комиссии от 17 мая 1985 года (протокол № 17д/14) присуждена ученая степень доктора физико-математических наук, ФМ № 002697.

Профессор

Аттестат профессора ПР № 002380 Решением Министерства общего и профессионального образования РФ от 18 февраля 1998 года № 84-n присвоено ученое звание профессора по кафедре информатики.