CSEDays. Application 2010

База отдыха "Иволга", Екатеринбург, 12-14 ноября

News subscription
Share:

Reviews

Уровень докладчиков поразил меня, как и уровень организации. В целом школа была проведена просто отлично.
Александр Фетисов / CSEDays. Application 2010
Кулямин Виктор Кандидат физико-математических наук.

Старший научный сотрудник Института системного программирования РАН и доцент кафедры системного программирования ВМиК МГУ им. М. В. Ломоносова.

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