Виктор Вячеславович Кулямин
Кандидат физико-математических наук, старший научный сотрудник Института системного программирования РАН. Сфера его интересов – программная инженерия в целом, использование формальных моделей при промышленной разработке программ и контроле их качества, тестирование на основе моделей, а также неформализуемые аспекты разработки программного обеспечения. Автор и соавтор около 30 работ. Читает ряд спецкурсов на факультете ВМиК МГУ им. М. В. Ломоносова.
|