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