Магистерские программы
Факультет компьютерных технологий и прикладной математики
Кафедра вычислительных технологий
Направление: 010400.68 Информационные технологии
Магистерская программа: 511905 Компьютерные науки
Миков Александр Иванович, д.ф.-м.н., профессор
Заведующий кафедрой вычислительных технологий ФКТ и ПМ
Кафедра вычислительных технологий, 3 доктора физико-математических наук.
Нормативный срок – 2 года
511905 – Компьютерные науки (Computer science)
Модели дискретных объектов и процессов, вычислительные алгоритмы и методы, алгоритмическая сложность вычислений, новые вычислительные парадигмы. Формальные языки и грамматики, теории параллельных процессов, нейронные сети. Теория информации, алгоритмы сжатия, восстановления и преобразования информации.
Семантическое моделирование данных; оптимизации, поиска и обработки данных; архитектура и программное обеспечение информационных систем; автоматизация проектирования информационных систем на основе CASE-технологий. Методы и средства интеграции распределенных систем.
Концепции открытых систем и Глобальной информационной инфраструктуры; стандарты, профили, открытые спецификации ИТ.
Современные парадигмы программирования; анализ программ, методы верификации, тестирования и синтеза программ; предметно-ориентированные ЯП, методы параллельного и распределенного программирования, методы и средства визуального программирования, языки описания информационных ресурсов.
Модели, методы, сервисы и механизмы информационной безопасности, криптографические алгоритмы и протоколы.
Архитектуры компьютерных систем, моделирование функционирования и анализ производительности компьютерных систем, модели поведения вычислительных структур и дискретных систем, модели вычислительных процессов, системное программное обеспечение.
Архитектура промежуточного слоя (middle-ware), объектные модели и технологии обработки информации, интеграция объектных технологий с технологиями WWW, компонентно-базированные методы разработки информационных систем, онтологические модели прикладных областей, методы и инструментальные средства проектирования интероперабельных информационных систем. Стандарты, сервисы, протоколы, информационные ресурсы телекоммуникационных технологий; модели и методы программирования и обработки данных в сетевых окружениях.
Квалификация – магистр информационных технологий.
Заведующий кафедрой
вычислительных технологий А.И. Миков
|