Инструменты разработки и анализа программ: магистратура в вузах Санкт-Петербурга

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

Студенты изучают принципы разработки программного обеспечения, методологии разработки, архитектуру программных систем и управление проектами. Они погружаются в программирование на различных языках программирования и изучают современные инструменты разработки, такие как среды разработки, системы контроля версий и инструменты автоматизации тестирования. Кроме того, они изучают методы анализа программного кода, техники отладки и оптимизации программ.

Важным аспектом программы является изучение принципов и инструментов для обеспечения качества программного обеспечения, включая тестирование, верификацию и валидацию. Студенты также осваивают методы статического и динамического анализа программ, чтобы обнаружить потенциальные ошибки, уязвимости и улучшить производительность.

В целом, программа предоставляет студентам фундаментальные знания и практические навыки, необходимые для успешной карьеры в программной инженерии. Она помогает выпускникам стать компетентными специалистами, способными эффективно работать в различных сферах программной разработки и анализа.

Профессиональные дисциплины:

• Этика в сфере информационных технологий и искусственного интеллекта
• Иностранный язык
• Английский язык
• Русский язык как иностранный / Russian as a foreign language
• Научное письмо на английском языке / Scientific writing
• Современная бизнес-коммуникация
• Сторителлинг
• Финансовая грамотность
• Современное лидерство
• Сложная коммуникация
• Тайм-менеджмент
• Параллельные вычисления
• Математическая логика и теория доказательств
• Функциональное программирование
• Введение в анализ и верификацию ПО
• Программная инженерия
• Технологии проектирования и архитектура ПО.

Выборные дисциплины:

• Статический анализ программ
• Символьное исполнение
• Теория и технология тестирования программного обеспечения
• Фаззинг программного обеспечения
• Верификация методом model checking
• Дедуктивная верификация ПО
• Конструирование компиляторов: практическое введение
• Конструирование компиляторов: углубленный курс
• Языки программирования: семантика и системы типов
• Дизайн языков программирования
• Методология трансляционных исследований
• Промышленное программирование на языке C++
• Виртуализация и виртуальные машины
• Управление программными проектами
• Виртуализация и виртуальные машины. Часть 2.