CSEDays. Application 2010

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

News subscription
Share:

Reviews

Самыми эффективными и полезными для меня стали доклады, которые кроме теоретической информации содержали и практические примеры.
- / CSEDays. Application 2010
Кулямин Виктор Кандидат физико-математических наук.

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

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