Виктор Кулямин
Доцент базовой кафедры "Системное программирование" Института системного программирования РАН, Факультет компьютерных наук, НИУ ВШЭ.
Область научных интересов: программная инженерия, формальные методы программной инженерии, методы верификации и валидации.