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

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

Область научных интересов: программная инженерия, формальные методы программной инженерии, методы верификации и валидации.