Виктор Кулямин

Виктор Кулямин является старшим научным сотрудником Института системного программирования РАН и доцентом кафедры системного программирования ВМиК МГУ им. М. В. Ломоносова. Закончил механико-математический факультет МГУ в 1995 году, защитил степень кандидата физико-математических наук на мехмате МГУ в 2000 году. Его научные интересы включают программную инженерия в целом, формальные методы программной инженерии, методы верификации программного обеспечения, методы тестирования на основе формальных моделей.