Кафедра программной инженерии и верификации программ под руководством профессора Бертранда Мэйера проводит исследования в области доверенных компонентов: многократно используемых элементов программ с гарантией качества. Мы используем Eiffel в качестве основного инструмента, но наши результаты можно использовать и в других условиях.
Мы проводим Санкт-Петербургский семинар по разработке и верификации программ (четверг и пятница, с 18 до 21), на котором выступают сотрудники кафедры, коллеги из других университетов и посетители. Заходите к нам!
Контакты: Лидия Перовская.
Полезные ссылки: ИТМО | Кафедра информационных систем | ETH Chair of Software Engineering | Eiffel Software