Зав. кафедрой: член-корреспондент РАН, профессор Иванников Виктор Петрович
Зам. зав. кафедрой: д.т.н., профессор Шнитман Виктор Зиновьевич
Базовая организация: Институт системного программирования РАН
Институт системного программирования основан в 1994 году. Это молодой институт, но с сильными традициями, ведущими начало от Института вычислительной техники и точной механики РАН - "alma mater" отечественной информатики и вычислительной техники.
В 1995 году на базе Института системного программирования РАН при активном участии его директора Иванникова В.П. была организована базовая кафедра "Системного программирования".
Направления:
- объектно-ориентированное программирование;
- формальные методы спецификации;
- технология компиляторов;
- математические основы информатики;
- реинжениринг программного обеспечения;
- компьютерная графика и визуализация научных исследований;
- распределенные и параллельные вычислительные системы;
- телекоммуникации, сети и Internet;
- развитие теории и методов построения систем автоматизации программирования;
- обеспечение интероперабельности и поддержка вычислений в распределенных гетерогенных средах;
- создание эффективных проблемно-ориентированных методов планирования решений многошаговых многовариантных задач;
- исследование возможностей систем гиперпрограммирования для создания компьютерных технологий разработки и сопровождения программных средств;
- разработка и оценка методов автоматической генерации программ по формальным спецификациям их компонентов.
Институт выполняет работы по грантам международных и российских организаций и имеет обширные научные контакты с зарубежными научными организациями, в том числе с UNU/IIST (ООН, Макао), GMD (Германия), INRIA (Франция), RAL (Великобритания), NPS (США), Intel Corp (США). Кроме того, институт выполняет научные разработки по заказам крупных зарубежных коммерческих фирм Nortel (Канада), Telelogic (Швеция) и др.
Институт оснащен современными рабочими станциями, серверами и персональными компьютерами (SUN, HP, PARSYTEC и др.).
Студенты кафедры имеют возможность принимать участие в вышеперечисленных проектах, а также осваивать новое оборудование, которому нет аналогов на территории стран СНГ. В процессе обучения студенты приобретают опыт администрирования компьютерных сетей, познают основы теории компиляторов, принципы построения современных компьютеров и сетей, теорию распознавания образов, методы параллельных вычислений, СУБД, основы научной визуализации и многие другие области исследований. Очень сильно направление, связанное с проблемой распараллеливания вычислений.
