Лаборатория программной инженерии и верификации программ

Лаборатория Бертрана Мейера

Университет Иннополис открывает лабораторию, которая будет заниматься разработкой среды для создания программ высокой надежности – автоматическая проверка надежности кода и автоматическое замена частей кода на надежные аналоги. Исследования данной лаборатории необходимы для развития таких направлений как авиация (автопилоты, автодиспетчеры), автоматические поезда, космос и т. п. Финансирование лаборатории – 1 миллион долларов год.

С Июня 2014 года Лабораторию Университета Иннополис возглавляет Профессор Бертран Мейер – один из ведущих ученых в области инженерии программного обеспечения.

Профессор Мейер является создателем языка программирования Эйфель и автором девяти книг. Им опубликовано более 250 научных работ, охватывающих широкий спектр направлений, все из которых трудно перечислить. Вот лишь некоторые из них: методы построения надежных, повторно используемых компонентов и программных продуктов, параллельное, распределенное и Интернет-программирование, технологии баз данных, формальные методы и доказательство корректности программ.

По условиям контракта господин Мейер будет находиться в Казани не менее 4 месяцев в году, для организации непрерывной работы заместителем профессора Мейера выбран доцент Университета Иннополис ведущий научный сотрудник Политехнического университета Милана и Университета Ньюкасла – профессор Мануэль Маццара (full time в Казани). Сфера научных интересов господина Маццара включает кибербезопасность, разработку ПО, социальные сети и глобальное здравоохранение. Имеет более 30 публикаций, 506 упоминаний, H-индекс 10.

Лаборатория предполагает штат из 6 аспирантов, 2 постдоков и группы студентов.  В настоящее время идет набор аспирантов

В центре внимания

Сайт находится в технической разработке