Кафедра Системного Программирования

Общая информация

Кафедра системного программирования — одна из самых молодых кафедр Математико-механического факультета — была образована в 1996 году на базе одноименной лаборатории. Одним из научных руководителей этой лаборатории был академик А.П.Ершов. В лаборатории системного программирования было решено множество важных задач современного прикладного программирования, в частности, разработка первых в СССР трансляторов с языков Ада и Алгол-68, графических технологий проектирования, оригинальных архитектур ЭВМ. Успехи лаборатории в решении практических наукоемких задач определили подход к обучению и основные направления деятельности кафедры.

Кафедрой накоплен значительный опыт подготовки высококлассных специалистов. В основе научно-практической подготовки лежит традиционное участие студентов кафедры в студенческих научных проектах и летних школах. Кроме того, студенты по желанию проходят стажировку в ведущих ИТ-компаниях Санкт-Петербурга, и, уже начиная с 3-го курса, они принимают участие в исследовательской работе кафедры системного программирования, лабораторий НИИ Информационных Технологий СПбГУ и исследовательских лабораторий крупнейших производителей программного обеспечения. В ходе учебного процесса студенты получают опыт работы с системами управления базами данных, программирования в средах современных операционных систем, участвуют в разработке сетевых протоколов, компиляторов. Как результат, выпускники кафедры всегда востребованы на рынке ИТ–специалистов, в том числе, за рубежом. Например, согласно результатам опроса, проведенного изданием Ъ-Санкт-Петербург в 2008 году, с точки зрения представителей ИТ-индустрии кафедра готовит одних из лучших специалистов в городе.

Образование

Cпециальности и направления

Выпускники программы готовы к успешной профессиональной деятельности в качестве научных сотрудников, системных аналитиков, менеджеров программных проектов, разработчиков наукоёмкого программного обеспечения, архитекторов программных и программно-аппаратных решений, преподавателей университетов и технических ВУЗов. При составлении программы уделялось внимание балансу между фундаментальной (математические методы,
алгоритмы, математическая логика), прикладной технологической (частные алгоритмы, технологии и парадигмы) и гуманитарной (управление проектами, экономико-правовые основы производства ПО, ТРИЗ) составляющими.

С 2011 идёт  приём на направление подготовки бакалавров 231000 «Программная Инженерия», которое пришло на смену 010400 "Информационные Технологии".

Программная инженерия — это дисциплина, основанная на математике и компьютинге (англ. computing), занимается разработкой систематических моделей и надежных методов производства высококачественного программного обеспечения. Она включает в себя такие разделы знаний, как информатика, технологии и средства разработки ПО, основы математики и инженерии, моделирование и проектирование ПО, управление программными проектами и другие.

Кроме того, проводится обучение студентов по специальностям 010503 «Математическое обеспечение и администрирование информационных систем» (приём закрыт) и 010400 «Информационные технологии» (бакалавры и магистры, приём закрыт).

Ведется подготовка аспирантов по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов, систем и компьютерных сетей».

Существенная часть курсов, которые ведут преподаватели кафедры, соответствует рекомендациям ACM Curricula.

Поступление

По техническим вопросам, касающимся поступления, пожалуйста обращайтесь в приёмную комиссию СПбГУ.

Учебные материалы

• Архив дипломных и курсовых работ
• CC:SE2004 Computing Curricula: Software Engineering (pdf)
  
• CC:CS2001 Computing Curricula: Computer Science (pdf)

Именные поощрения для студентов и аспирантов

Стипендия А.Н. Терехова

Исследования

Издания и исследовательские группы

• Сборник статей "Системное Программирование"
• Oops group
• Группа исследования методов организации информации
• Лаборатория стохастических вычислительных систем

Некоторые проекты кафедры

• Case-средство QReal
• ОСРВ Embox
• Language for Hardware-Software Codesign (HaSCoL)
• DocLine
  

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

Заведующий кафедрой: проф., д.ф.-м.н. Терехов Андрей Николаевич
Телефон: 428-71-09
E-mail:

	заведующий кафедрой
	для общих вопросов

Сервер кафедры: http://se.math.spbu.ru
Устаревшая страница на сайте факультета: http://www.math.spbu.ru/ru/mmeh/Chairs/dep_r11.html

Списки рассылки:

• Группы Google Кафедры "Системного программирования"