Системное программирование (кафедра ВМК МГУ)

Материал из MachineLearning.

Заведующий кафедрой — академик РАН Иванников Виктор Петрович

Кафедра системного программирования образована в 1970 году при создании факультета ВМК, первым заведующим кафедрой был заслуженный профессор МГУ академик РАЕН М. Р. Шура-Бура (1918–2008).

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

Наряду с основными лекционными курсами, студенты изучают также базовые технологии программной инженерии и специализированные курсы по архитектуре и методам разработки системного программного обеспечения. Важную роль в подготовке специалистов играют спецсеминары и специализированный кафедральный практикум. Набор специальных курсов, поддерживаемых практикумом, создает основу для подготовки специалистов высокого уровня, способных на практике создавать и на разных этапах сопровождать программные системы различного масштаба и уровня сложности, как в государственных, так и в коммерческих организациях. Основная тематика спецсеминаров кафедры включает следующие направления исследований: распределенные объектно-ориентированные системы, анализ и оптимизация программ, верификация и валидация программ, распределенные информационные системы и цифровые библиотеки, операционные системы и языки программирования распределенных вычислительных систем, планирование целенаправленной деятельности, технологии баз данных, технологии Grid, CASE-технологии. В течение многих лет кафедра успешно сотрудничает с Институтом системного программирования РАН, Институтом прикладной математики имени М. В. Келдыша РАН, Вычислительным центром имени А. А. Дородницына РАН и другими организациями.

На кафедре работают: профессора С. С. Гайсарян, В. А. Крюков, С. Д. Кузнецов, А. К. Петренко, В. А. Серебряков, доктор технических наук Л. Е. Карпов.

С 2015-го года на кафедре ведётся обучение по магистерским программам «Компиляторные технологии» и «Технологии программирования». Руководителем программы «Компиляторные технологии» является академик В. П. Иванников. Целью магистерской программы является подготовка магистров, специализирующихся по разработке оптимизирующих фаз компиляторов с использованием как традиционных, так и новых методов агрессивной оптимизации программ. Руководителем программы «Технологии программирования» является профессор, доктор ф.-м. наук А. К. Петренко. Целью магистерской программы является подготовка магистров, специализирующихся по вопросам разработки методов, технологий и инструментов поддержки жизненного цикла программ.

Контактная информация:

Телефон: +7-495-939-18-77

e-mail: sp @ cs.msu.ru

WWW: sp.cs.msu.ru