[8 сем] ИТМО / Документ Microsoft Office Word

2-й Дом городских учреждений

1912-1913 - арх. Перетяткович М. М.

ИТМО - Институт точной механики и оптики

Кафедра программной инженерии и верификации программ

Чем мы занимаемся

Наша кафедра недавно появилась в Санкт-Петербургском национальном исследовательском университете ИТМО, одном из лучших учебных заведений в области информационных технологий в России (и единственном четырёхкратном чемпионе мира по программированию!). Наша задача проста – изменить мир, по крайней мере, в программировании. Без радикального улучшения способов разработки программ IT-индустрия просто не будет удовлетворять запросам общества. Наша деятельность сосредоточена на двух главных областях:

Верификация программ: как мы может гарантировать, что ИТ-системы делают именно то, что должны?

Многопроцессорное программирование: всем известно, что будущее за параллельностью (многоядерность, суперкомпьютеры, сети), но неизвестно, как её качественно реализовывать. У нас есть ряд идей.

В основном мы используем язык Eiffel, так как это один из лучших подходов в разработке высококачественных программ с использованием современных инструментов и методов. Мы тесно сотрудничаем с кафедрой разработки программ в Высшей политехнической школе Цюриха и участвуем в международных мероприятиях, таких как ежегодная летняя школа разработки программ в Италии LASER. Мы сами организуем такие мероприятия, как еженедельный Санкт-Петербургский семинар по разработке и верификации программ (транслирующийся в интернете), летняя школа Microsoft по параллелизму в августе 2012 года; мы также участвуем в организации ESEC/FSE 2013, одной из ведущих международных конференций по разработке программ, которая пройдёт в Санкт-Петербурге с 19 по 24 августа 2013 года и будет первым главным международным событием в этой области, проводящимся в России. Мы придерживаемся высоких стандартов и будем развивать современное состояние программной инженерии с помощью новых идей, приложений и публикаций в лучших международных конференциях и журналах.

Студенческие проекты

Мы предлагаем разнообразные проекты для студентов ИТМО. Эти проекты преследуют общие цели — создание высококачественного программного обеспечения, использование объектно-ориентированного программирования и создание верифицированного ПО.