Магистратура "Разработка программного обеспечения и науки о данных" СПбГУ, Санкт-Петербург

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

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

Изучаемые дисциплины:

• Введение в квантовые вычисления      
• Языки программирования с виртуальными машинами   
• Программная инженерия
• Практическая реализация алгоритмов на квантовых компьютерах
• Разработка компонентов операционной системы  
• Менеджмент ИТ проектов
• Байесовские методы в машинном обучении 
• Архитектура и проектирование систем
• Математическая логика
• Компьютерное зрение
• Алгоритмы для параллельных и распределённых вычислений       
• Введение в формальные методы верификации программ
• Нейробайесовские методы 
• Виртуализация и облачные вычисления       
• Теория типов и языки программирования
• Глубокое обучение     
• Инфраструктура распределённых систем     
• Верификация моделей программ
• Обучение с подкреплением Технологии хранения и обработки больших данных      
• Языки программирования с зависимыми типами
• Разработка беспилотников 
• Предметно-ориентированное программирование 
• Верификация конкурентных и распределенных программ (TLA+)
• Обработка естественного языка  
• Компьютерная безопасность       
• Важные открытые проекты по верификации ПО.