кандидат физико-математических наук с 1970 года

доцент по кафедре математической логики и теории алгоритмов с 2 сентября 1974 г.

МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) доцент с 1 сентября 2014 г., по совместительству