Доктор физико-математических наук.

Должность: Заведующий отделом Технологий программирования Института системного программирования РАН http://ispras.ru/ru/groups/rv/rv.html

Профессор кафедры Системного программирования ВМиК МГУ им. М.В.Ломоносова http://sp.cs.msu.su/