![](https://www.lektorium.tv/sites/lektorium.tv/files/styles/lector_and_university_220x170/public/speakers/viktor_kulyamin.png?itok=IUfxiq4Q)
Виктор Кулямин
Доцент базовой кафедры "Системное программирование" Института системного программирования РАН, Факультет компьютерных наук, НИУ ВШЭ.
Область научных интересов: программная инженерия, формальные методы программной инженерии, методы верификации и валидации.