CSEDays. Application 2010

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

News subscription
Share:

Reviews

Из этой школы я вынес для себя много интересной и полезной информации. До участия в ней я знал о вопросах надежности ПО (как оказалось) совсем немного: динамические методы тестирования и немного про верификацию программ. Благодаря участию в школе я значительно расширил свой кругозор.
Рамиль Гараев / CSEDays. Application 2010
Кулямин Виктор Кандидат физико-математических наук.

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

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