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