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

Учеба на кафедре совмещается с участием в контрактных работах с индустрией и научных исследованиях, поддерживаемых отечественными и международными грантами. Студентам тем самым доступны разные сценарии их дальнейшего карьерного роста, от чисто научного до производственного. Магистранты имеют возможность трудоустройства и прохождения стажировок в отделах ИСП РАН, институтах Российской академии наук, ведущих лабораториях МФТИ, а также в таких компаниях как Сбербанк, 1С, Яндекс, ABBY и других.

Среди долговременных отечественных партнеров Института – ГосНИИАС, Вымпелком, среди зарубежных – Samsung, Huawei, Dell EMC, HPE, Intel, Nvidia, Rogue Wave, Linux Foundation. Со многими из них созданы совместные лаборатории. Кроме того, ИСП РАН реализует совместные проекты с ведущими университетскими и исследовательскими центрами: Кембридж (Великобритания), Карнеги-Меллон (США), INRIA (Франция), Университет Пассау (Германия) и др.

Институт имеет аспирантуру, специализированный совет по присуждению докторских и кандидатских степеней по программированию, хорошую библиотеку по информационным технологиям, имея собственную полиграфическую базу, издает регулярные сборники трудов и препринты; все группы института имеют электронную подписку на полную периодику ACM и IEEE CS.

Студенты, аспиранты, сотрудники ИСП РАН участвуют с докладами на ведущих отечественных и зарубежных научных конференциях. Многие аспиранты и молодые ученые института имеют персональные гранты от Президента РФ, Минобрнауки и научных фондов.

Лекции по программированию и математике читают студентам известные специалисты, активно ведущие исследования и разработки.
Учебные курсы
  • Объектно-ориентированное программирование
  • Формальные методы спецификации программ
  • Технология компиляторов
  • Математические основы информатики
  • Реинжениринг программного обеспечения
  • Компьютерная графика и визуализация научных исследований
  • Распределенные и параллельные вычислительные системы
  • Базы данных и базы знаний
  • Телекоммуникации, сети и Интернет
  • Системное программирование
  • Динамическая компиляция
  • Верификация моделей программ
Контакты
Шнитман Виктор Зиновьевич
vzs@ispras.ru
+7(910)426-07-88
Физтех-школа радиотехники и компьютерных технологий
Приемная комиссия
pk@mipt.ru
тел. +7 (495) 408-48-00