Вы здесь
Кафедра системного программирования (СП)
Заведующий кафедрой — академик РАН Иванников В. П.
Кафедра системного программирования образована в 1970 году при создании факультета ВМК, первым заведующим кафедрой был заслуженный профессор МГУ академик РАЕН
Кафедра готовит специалистов по информационным технологиям с более глубокими знаниями по следующим областям: общие вопросы инженерии программного обеспечения и информационной безопасности, архитектуры системного программного обеспечения, включающего операционные системы, компиляторы, системы управления базами данных, телекоммуникационное программное обеспечение и программное обеспечение промежуточного уровня.
Наряду с основными лекционными курсами, студенты изучают также базовые технологии программной инженерии и специализированные курсы по архитектуре и методам разработки системного программного обеспечения. Важную роль в подготовке специалистов играют спецсеминары и специализированный кафедральный практикум. Набор специальных курсов, поддерживаемых практикумом, создает основу для подготовки специалистов высокого уровня, способных на практике создавать и на разных этапах сопровождать программные системы различного масштаба и уровня сложности, как в государственных, так и в коммерческих организациях. Основная тематика спецсеминаров кафедры включает следующие направления исследований: распределенные объектно-ориентированные системы, анализ и оптимизация программ, верификация и валидация программ, распределенные информационные системы и цифровые библиотеки, операционные системы и языки программирования распределенных вычислительных систем, планирование целенаправленной деятельности, технологии баз данных, технологии Grid, CASE-технологии. В течение многих лет кафедра успешно сотрудничает с Институтом системного программирования РАН, Институтом прикладной математики имени
На кафедре работают: профессора
С 2015-го года на кафедре ведётся обучение по магистерским программам «Компиляторные технологии» и «Технологии программирования». Руководителем программы «Компиляторные технологии» является академик