Руководитель программы: академик Аветисян А. И.
Целью магистерской программы является подготовка магистров, специализирующихся по разработке оптимизирующих фаз компиляторов с использованием как традиционных, так и новых методов агрессивной оптимизации программ с учётом их профилей, а также оптимизации периода связывания (линковки) модулей программы. Изучаются методы динамической и адаптивной оптимизации процедур, составляющих программу, в компиляторах времени выполнения. Выпускники программы будут владеть современными методами анализа и трансформации программ, уметь решать вопросы, связанные с обеспечением безопасной эксплуатации программ: поиском злонамеренного кода, выявлением уязвимостей защиты программ, поиском недокументированных возможностей, запутыванием программ.
|
Учебный план обучения в магистратуре строится из общей части (одинаковой для всех магистерских программ всех потоков), и вариативной части, в которой разные магистерские программы расходятся. Вариативная часть учебного плана содержит в себе уникальные дисциплины, обучение по которым ведётся в только рамках одной программы, а также специальные дисциплины, часть из которых читается преподавателями кафедры системного программирования, часть — преподавателями других кафедр. Среди дисциплин вариативной части есть блок дисциплин по выбору. В рамках этого блока в программе предлагается список курсов, из которого обучающиеся сами выбирают дисциплины для обучения. Часть этих дисциплин читается преподавателями кафедры системного программирования, остальные — преподавателями других кафедр в рамках других магистерских программ.
Осенний семестр 1-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
• Оптимизация в компиляторах. Курс кафедры СП. В курсе рассматриваются методы и алгоритмы машинно-независимой оптимизации, межпроцедурная оптимизация, методы и алгоритмы машинно-ориентированной оптимизации, динамическая и адаптивная оптимизация, выбор последовательности оптимизаций в компиляторе.
• Спецсеминар
Специальные дисциплины:
• Параллельные вычисления (курс кафедры СКИ)
• Компьютерные сети и телекоммуникации (дополнительные главы) (курс кафедры АСВК)
Дисциплины общей части:
• Иностранный язык
• Русский язык. Деловое общение
• Современная философия и методология науки
• Межфакультетский курс по выбору
Весенний семестр 1-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
• Дедуктивный анализ программ. Курс кафедры СП. Цель курса — дать теоретические основы дедуктивного анализа программ и подкрепить их практическими примерами, техниками и инструментами. Дедуктивный анализ предполагает чёткое формулирование утверждений о поведении программ и их доказательство. Задания по данному курсу выполняются при помощи современных инструментов, используемых на практике.
• Спецсеминар
Специальные дисциплины:
• Дисциплина по выбору
• Введение в информационную безопасность (курс кафедры АСВК)
Дисциплины общей части:
• Иностранный язык
• Правоведение
• Межфакультетский курс по выбору
В конце первого года магистратуры защищается курсовая работа.
Осенний семестр 2-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
• Анализ кода и информационная безопасность. Лекционный курс с экзаменом, семинарами и практическими заданиями. Курс посвящён проблемам информационной безопасности, возникающим на ключевых этапах жизненного цикла ПО. Рассматриваются особенности разработки и отладки программ, влияющие на безопасность, а также методы изучения программ в отсутствии исходных кодов.
• Спецсеминар
Специальные дисциплины:
• Теория игр и исследование операций (курс кафедры ИО)
• Методы анализа и проектирования программного обеспечения. Курс кафедры СП с экзаменом и практическими заданиями по UML-моделированию.В курсе рассматриваются современные методы и средства анализа и проектирования программного обеспечения, основанные на применении объектно-ориентированного подхода и унифицированного языка моделирования, а также их практическое использование.
• Дисциплина по выбору
Дисциплины общей части:
• Суперкомпьютерное моделирование и технологии (курс кафедры СКИ)
• История и методология прикладной математики (курс кафедры АСВК)
• Межфакультетский курс по выбору
• Научно-исследовательская работа
Весенний семестр 2-го курса магистратуры
Вариативная часть:
Уникальные дисциплины:
• Современные архитектуры и компиляторные технологии. Лекционный курс с экзаменом, семинарами и практическими заданиями. В данном курсе будут рассмотрены параллельные модели и соответствующие им программные реализации. Студенты получат теоретические и практические знания о проблемах и сложностях параллельного программирования, существующих решениях, способах отладки и оптимизации программ. Акцент будет сделан на системную составляющую и организацию работы, а не конкретные технологии. Курс подкреплён практикумом с использованием современных технологий. Аналогом является курс института Беркли CS267 (Applications of Parallel Computers).
• Анализ программ: понимание и оптимизация (курс кафедры СП на английском языке)
• Спецсеминар
Специальная дисциплина:
• Дисциплина по выбору
Дисциплины общей части:
В конце второго года магистратуры выполняется преддипломная практика, защищается магистерская диссертация и сдаётся государственный экзамен.
Список курсов, предлагаемых как дисциплины по выбору, уточняется и публикуется каждый год.
|