Подготовку аспирантов по направлению 09.06.01 «Информатика и вычислительная техника», направленность 2.3.5 «Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей» осуществляет кафедра «Космические технологии», в составе которой 21 квалифицированный преподаватель, в том числе 9 профессоров, 9 доцентов, специалисты НИИ «Фотон», АО РКЦ «Прогресс» — филиал ОКБ «Спектр».

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

Шифр специальности:

2.3.5 (05.13.11) — «Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей»

Формула специальности:

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

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

Области исследований:

1. Модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования.
2. Языки программирования и системы программирования, семантика программ.
3. Модели, методы, алгоритмы, языки и программные инструменты для организации взаимодействия программ и программных систем.
4. Системы управления базами данных и знаний.
5. Программные системы символьных вычислений.
6. Операционные системы.
7. Человеко-машинные интерфейсы; модели, методы, алгоритмы и программные средства машинной графики, визуализации, обработки изображений, систем виртуальной реальности, мультимедийного общения.
8. Модели и методы создания программ и программных систем для параллельной и распределенной обработки данных, языки и инструментальные средства параллельного программирования.
9. Модели, методы, алгоритмы и программная инфраструктура для организации глобально распределенной обработки данных.
10. Оценка качества, стандартизация и сопровождение программных систем.

Отрасль наук:

• физико-математические науки
• технические науки