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

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

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

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