| краткая информация =Учёный секретарь Института системного программирования РАН (ИСП РАН). Кандидат Доктор физико-математических наук | тэг01 =Кандидат Доктор физико-математических наук
| тэг02 =
| тэг03 =
*Тема диссертации:Современные методы статического и динамического анализа программ для решения приоритетных проблем программной инженерии
==Достижения==
*Кандидат Доктор физико-математических наук (2011)