Магистерские программы

Магистерская программа: 511905 Компьютерные науки

Миков Александр Иванович, д.ф.-м.н., профессор

Заведующий кафедрой вычислительных технологий ФКТ и ПМ

Кафедра вычислительных технологий, 3 доктора физико-математических наук.

Нормативный срок – 2 года

Модели дискретных объектов и процессов, вычислительные алгоритмы и методы, алгоритмическая сложность вычислений, новые вычислительные парадигмы. Формальные языки и грамматики, теории параллельных процессов, нейронные сети. Теория информации, алгоритмы сжатия, восстановления и преобразования информации.

Семантическое моделирование данных; оптимизации, поиска и обработки данных; архитектура и программное обеспечение информационных систем; автоматизация проектирования информационных систем на основе CASE-технологий. Методы и средства интеграции распределенных систем.

Концепции открытых систем и Глобальной информационной инфраструктуры; стандарты, профили, открытые спецификации ИТ.

Современные парадигмы программирования; анализ программ, методы верификации, тестирования и синтеза программ; предметно-ориентированные ЯП, методы параллельного и распределенного программирования, методы и средства визуального программирования, языки описания информационных ресурсов.

Модели, методы, сервисы и механизмы информационной безопасности, криптографические алгоритмы и протоколы.

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

Архитектура промежуточного слоя (middle-ware), объектные модели и технологии обработки информации, интеграция объектных технологий с технологиями WWW, компонентно-базированные методы разработки информационных систем, онтологические модели прикладных областей, методы и инструментальные средства проектирования интероперабельных информационных систем. Стандарты, сервисы, протоколы, информационные ресурсы телекоммуникационных технологий; модели и методы программирования и обработки данных в сетевых окружениях.