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

Учеба на кафедре совмещается с участием в контрактных работах с индустрией и научных исследованиях, поддерживаемых отечественными и международными грантами. Студентам тем самым доступны разные сценарии их дальнейшего карьерного роста, от чисто научного до производственного. Магистранты имеют возможность трудоустройства и прохождения стажировок в отделах ИСП РАН, институтах Российской академии наук, ведущих лабораториях МФТИ, а также в таких компаниях как Сбербанк, 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