Доктор физико-математических наук
ведущий научный сотрудник ИСП РАН
Институт системного программирования РАН им. В.П. Иванникова (ИСП РАН)
