Магистерская программа "Компиляторные технологии"

Научный руководитель: профессор, д.ф.-м.н. А. И. Аветисян

Цель магистерской программы «Компиляторные технологии» – подготовка магистров, специализирующихся по разработке оптимизирующих фаз компиляторов, используя как традиционные, так и новые методы агрессивной оптимизации программ с учетом их профилей, а также методы оптимизации периода связывания (линковки) модулей программы. Изучаются методы динамической и адаптивной оптимизации процедур, составляющих программу, в компиляторах времени выполнения.
Выпускники программы будут владеть современными методами анализа и трансформации программ, сумеют решить вопросы, связанные с обеспечением безопасной эксплуатации программ: поиском злонамеренного кода, выявлением уязвимостей защиты программ, поиском недокументированных возможностей, запутыванием программ.

Учебный план

Список дисциплин по выбору студента для магистерской программы "Компиляторные технологии":
 Контроль качества программного обеспечения
 Методы интеллектуального анализа данных
 Компьютерная алгебра
 Модель данных SQL
 Методы верификации моделей программного обеспечения
 Облачные вычисления и виртуализация информационных ресурсов