Системное программирование (кафедра ВМК МГУ)
Материал из MachineLearning.
(Новая: '''Заведующий кафедрой''' — академик РАН Иванников Виктор Петрович {{TOCright}} Кафедра системного програм...) |
(Новая: '''Заведующий кафедрой''' — академик РАН Иванников Виктор Петрович {{TOCright}} Кафедра системного програм...) |
Текущая версия
Заведующий кафедрой — академик РАН Иванников Виктор Петрович
Кафедра системного программирования образована в 1970 году при создании факультета ВМК, первым заведующим кафедрой был заслуженный профессор МГУ академик РАЕН М. Р. Шура-Бура (1918–2008).
Кафедра готовит специалистов по информационным технологиям с более глубокими знаниями по следующим областям: общие вопросы инженерии программного обеспечения и информационной безопасности, архитектуры системного программного обеспечения, включающего операционные системы, компиляторы, системы управления базами данных, телекоммуникационное программное обеспечение и программное обеспечение промежуточного уровня.
Наряду с основными лекционными курсами, студенты изучают также базовые технологии программной инженерии и специализированные курсы по архитектуре и методам разработки системного программного обеспечения. Важную роль в подготовке специалистов играют спецсеминары и специализированный кафедральный практикум. Набор специальных курсов, поддерживаемых практикумом, создает основу для подготовки специалистов высокого уровня, способных на практике создавать и на разных этапах сопровождать программные системы различного масштаба и уровня сложности, как в государственных, так и в коммерческих организациях. Основная тематика спецсеминаров кафедры включает следующие направления исследований: распределенные объектно-ориентированные системы, анализ и оптимизация программ, верификация и валидация программ, распределенные информационные системы и цифровые библиотеки, операционные системы и языки программирования распределенных вычислительных систем, планирование целенаправленной деятельности, технологии баз данных, технологии Grid, CASE-технологии. В течение многих лет кафедра успешно сотрудничает с Институтом системного программирования РАН, Институтом прикладной математики имени М. В. Келдыша РАН, Вычислительным центром имени А. А. Дородницына РАН и другими организациями.
На кафедре работают: профессора С. С. Гайсарян, В. А. Крюков, С. Д. Кузнецов, А. К. Петренко, В. А. Серебряков, доктор технических наук Л. Е. Карпов.
С 2015-го года на кафедре ведётся обучение по магистерским программам «Компиляторные технологии» и «Технологии программирования». Руководителем программы «Компиляторные технологии» является академик В. П. Иванников. Целью магистерской программы является подготовка магистров, специализирующихся по разработке оптимизирующих фаз компиляторов с использованием как традиционных, так и новых методов агрессивной оптимизации программ. Руководителем программы «Технологии программирования» является профессор, доктор ф.-м. наук А. К. Петренко. Целью магистерской программы является подготовка магистров, специализирующихся по вопросам разработки методов, технологий и инструментов поддержки жизненного цикла программ.
Контактная информация:
| Телефон: +7-495-939-18-77 | |||
e-mail:
| |||
| WWW: sp.cs.msu.ru |
