Вы здесь

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

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

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

Персональная страница

Источник фото
Источник информации