02.04.02«Фундаментальная информатика и информационные технологии»
02.04.02_02 «Проектирование сложных информационных систем»
Магистранты получают глубокую профессиональную и фундаментальную подготовку в области прикладной математики, теоретической информатики, разработки новых информационных технологий. Учатся использовать освоенные математические и информационные подходы к решению задач в различных сферах деятельности.
Ключевые особенности:
Отличительной чертой подготовки является именно фундаментальность, позволяющая в будущем выпускникам быстро осваивать постоянно изменяющиеся конкретные технологии разработки информационных систем. Студенты получают полный спектр знаний в области IT, базируясь на теоретических основах информатики. Изучаемые студентами дополнительные разделы математики и теории информации проясняют структуру, теоретические ограничения и возможности разработки новых и использования существующих алгоритмов, языков, информационных технологий.
К специальным разделам, характеризующим подготовку в рамках нашего направления, относятся: разработка и реализация языков программирования, программная инженерия; операционные системы; математическая логика и теория алгоритмов; компьютерное моделирование; теория информации; методы верификации программных систем управления, параллельных и распределенных систем; архитектура вычислительных сетей, программирование сетевых приложений.
Варианты обучения:
Очное
бюджет, контракт
- Архитектура систем управления реляционными базами данных
- Верификация распределенных алгоритмов и систем
- Программная инженерия
- Управление программными проектами
- Теория логического вывода
- Семейства протоколов компьютерных сетей
- Математическая логика
- Основы объектно-ориентированного моделирования
- Архитектор программного обеспечения
- Ведущий инженер-программист
- Инженер по тестированию ПО
- Специалист по информационным системам
- Системный аналитик
- Руководитель проектов по разработке ПО
- Менеджер программных проектов
- Комбинаторно-алгебраические методы декодирования кодов, исправляющих ошибки
- Методы кодовой модуляции, основанные на полярных подкодах
- Метод декодирования полярных подкодов
- Символьные алгоритмы построения автоматов Бюхи по формулам линейной темпоральной логики
- Разработка средств предсказания популярности контента
- Разработка алгоритмов информационного поиска с учетом семантической неоднозначности слов
- Исследование направлений совершенствования транспортных протоколов для обслуживания «коротких» соединений средствами имитационного моделирования
- Разработка библиотеки электрических элементов для пакета моделирования RAND MODEL DESIGNER
- Создание высокотехнологичного производства российского устройства на основе технологии биоуправления для повышения производительности интеллектуального труда работников инженерных специальностей
- Инструментальная среда Rand Model Designer для моделирования многокомпонентных систем переменной структуры с компонентами различной физической природы (www.mvstudium.com)
- Открытая среда «Компьютерное моделирование для инженеров»
- Помехоустойчивое кодирование для систем хранения данных нового поколения
- Полярные подкоды для беспроводных систем нового поколения
- Математическое моделирование сложных динамических систем
- Системы управления мобильными устройствами
Воинов Никита Владимирович
Руководитель программы