Готовим разработчиков, архитекторов IDE и компиляторов, специалистов по анализу программ, исследователей в области качества ПО и верификации
Корпоративная программа группы компаний YADRO
ИНСТРУМЕНТЫ РАЗРАБОТКИ
И АНАЛИЗА ПРОГРАММ
язык обучения
Русский
форма обучения
Очно
длительность обучения
2 года
руб. стоимость обучения в год
599 000
платных мест
10
бюджетных места
24
Магистерская программа для тех, кто хочет:
- получить глубокие знания в области создания методов обеспечения качества
- практический опыт в области проектирования инструментов для разработчиков ПО
КОМУ ПОДОЙДЕТ ПРОГРАММА
Выпускникам IT-направлений
Для успешного обучения необходимо иметь профильное бакалаврское образование: информатика и вычислительная техника, информационные системы и технологии, программная инженерия, прикладная информатика, математика и компьютерные науки и др.
ЧЕМУ ВЫ НАУЧИТЕСЬ
Анализировать программы и создавать статические и динамические анализаторы, верификаторы, фаззеры, средства автоматизации тестирования ПО
Проектировать IDE и разрабатывать плагины к ним
Разбираться во внутренней организации языков программирования
Разрабатывать эффективные компиляторы для языков программирования
КАК ПРОХОДИТ ОБУЧЕНИЕ
КАК ПРОХОДИТ ОБУЧЕНИЕ
- 1 семестр
Студенты изучают курсы, отвечающие за формирование общих знаний и навыков, необходимых для обеспечения жизненного цикла ПО, а также получают базовые знания в области математической логики, анализа и верификации программ. - 2−3 семестрыСо второго семестра студенты выбирают 3 из 8 треков: Статический анализ программ, Динамический анализ программ, Верификация ПО, Проектирование компиляторов, Проектирование языков программирования, Проектирование IDE, Виртуальные машины и Свободный трек.
- Проектная деятельностьС первого семестра студенты в составе групп работают над промышленными проектами, представленными компаниями-партнерами. Кураторы — специалисты из отрасли.
КЕМ ВЫ СМОЖЕТЕ РАБОТАТЬ
Разработчиком или архитектором IDE
Специалистом по верификации ПО
Разработчиком или архитектором компиляторов
Инженером-разработчиком инструментов анализа программ
Исследователем / руководителем исследований в области качества ПО
Инженером по качеству / фаззинг-инженером / специалистом по автоматизации QA
ПРЕПОДАВАТЕЛИ
ПРЕПОДАВАТЕЛИ
- Владимир
ИцыксонКурсы: Программная инженерия, Введение в статический анализ и верификацию ПО, Технологии проектирования и архитектура ПО, Тестирование ПО, Научный семинар по подготовке ВКР - Александр
ЕрошкинКурсы: Углубленное программирование на языке Java, Технологии проектирования и архитектура ПО, Тестирование ПО, Управление программными проектами (Project management) - Николай
ШиловКурсы: Верификация методом model checking, Дедуктивная верификация ПО - Даниил
СтепановКурсы: Фаззинг программного обеспечения, Программная инженерия (практика), Технологии проектирования и архитектура ПО (практика), Углубленное программирование на языке Java (практика)
СТУДЕНТЫ И ВЫПУСКНИКИ
О ПРОГРАММЕ
О ПРОГРАММЕ
После двух лет обучения могу сказать, что мне было очень интересно потрогать руками вещи, которыми в России мало кто занимается — инструменты разработки. Также было приятно и полезно поработать с преподавателями, которые в этой области имеют реальную экспертизу. Отдельно хочу отметить очень крутых приглашенных экспертов из Иннополиса и других университетов.
Отдельный важный для меня момент — возможность совмещать магистратуру с работой. Ну и интеграция с корпоративным партнером — компанией YADRO. Это позволило попробовать свои силы в действительно интересных проектах, которые мы разрабатывали в рамках взаимодействия с ними. К сожалению, не всегда на эти проекты хватало времени, но, например, возможность внести вклад в разработку движка Google Chrome (V8) стала для меня значимым событием и классной строчкой в портфолио. Также от компании YADRO была очень достойная студенческая стипендия, что, безусловно, приятный бонус.
Отдельный важный для меня момент — возможность совмещать магистратуру с работой. Ну и интеграция с корпоративным партнером — компанией YADRO. Это позволило попробовать свои силы в действительно интересных проектах, которые мы разрабатывали в рамках взаимодействия с ними. К сожалению, не всегда на эти проекты хватало времени, но, например, возможность внести вклад в разработку движка Google Chrome (V8) стала для меня значимым событием и классной строчкой в портфолио. Также от компании YADRO была очень достойная студенческая стипендия, что, безусловно, приятный бонус.
Магистратура дала мне фундаментальные знания и возможность попробовать себя в разных областях, связанных с разработкой туллинга, до которых я бы не добрался сам. Я получил опыт, максимально приближенный к реальному, пока делал проекты для компании YADRO и огромное количество лабораторных работ.
Я углубил свои знания в разных областях: в сборщиках мусора, математике, связанной с системами типов, дизайне языков программирования и в анализе кода. Успел написать символьную виртуальную машину для языка go и простой компилятор. Думаю, что это время было потрачено с пользой, и навыки, которые я получил, если и не пригодятся напрямую, то точно станут хорошей основой для других.
Я углубил свои знания в разных областях: в сборщиках мусора, математике, связанной с системами типов, дизайне языков программирования и в анализе кода. Успел написать символьную виртуальную машину для языка go и простой компилятор. Думаю, что это время было потрачено с пользой, и навыки, которые я получил, если и не пригодятся напрямую, то точно станут хорошей основой для других.
Обучение в магистратуре «Инструменты разработки и анализа программ» позволило мне глубоко погрузиться в сферы проверки качества и тестирования программного обеспечения. Учебный процесс построен таким образом, что мы рассматриваем вопрос оценки качества ПО с разных сторон, например, с точки зрения динамического тестирования или обычной верификации модели системы. Такой подход позволяет создавать в голове полную картину, что мне очень нравится.
Также хочу отметить, что во время обучения нам часто приводят актуальные примеры реализации изучаемых методов в разных компаниях. Оцениваю полученные знания и опыт на 10 из 10!
Также хочу отметить, что во время обучения нам часто приводят актуальные примеры реализации изучаемых методов в разных компаниях. Оцениваю полученные знания и опыт на 10 из 10!
НОВОСТИ
НОВОСТИ