28 февраля в 14:00 в Актовом зале НИУ ИТМО пройдет «Вступительный доклад лаборатории программной инженерии», который прочитает проф.Бертран Мейер.

Почти всё, что мы делаем в нашей повседневной жизни, ныне опирается на компьютерные программы. Кто пишет эти программы? Как их пишут? Как определяют, что программы работают правильно? В течение одного поколения программирование стало одной из самых значительных форм человеческой деятельности, и оно ставит целый ряд новых технических, инженерных, практических и научных вызовов.

«Я посвятил всю свою карьеру проблемам построения эффективных, надежных и элегантных программ. В этом докладе я покажу некоторые из самых увлекательных достижений современной программной инженерии и расскажу, как новая лаборатория программной инженерии в НИУ ИТМО готовится ответить на эти вызовы.»

Бертран Мейер — профессор кафедры программной инженерии в Высшей технической школе Цюриха (ETH Zürich) и в НИУ ИТМО.

В 2011г. он получил «мегагрант» для создания лаборатории программной инженерии и верификации в ИТМО (http://sel.ifmo.ru).

Профессор Мейер -автор языка программирования Eiffel, автор широко известных книг по программированию, почётный доктор НИУ ИТМО, ACM Fellow и лауреат ряда научных премий, в том числе ACM Software System Award, Dahl -Nygaard Prize и IEEE Harlan Mills Award.