CSEDays. Application 2010

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

News subscription
Share:

Reviews

CSEDays – это прекрасная возможность узнать что-то новенькое, познакомиться с интересными людьми и выиграть соревнование по боулингу! ;)
Евгений Типикин / CSEDays. Application 2010
Кулямин Виктор Кандидат физико-математических наук.

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

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