Заведущий кафедрой: член-корр. РАН, д.ф.-м.н., профессор РАН, директор ИСП РАН Аветисян Арутюн Ишханович
Заместитель заведующего кафедрой: д.т.н., профессор Шнитман Виктор Зиновьевич
Базовая организация: Институт системного программирования РАН
ИСП РАН основан выпускником МФТИ, академиком РАН, профессором В.П. Иванниковым в 1994 году. Кафедра системного программирования ФУПМ работает на базе Института с 1995 года.
Институт проводит фундаментальные научные исследования, разрабатывает инновационные технологии и успешно внедряет их в контрактных проектах с участием российских и зарубежных партнёров (Samsung, NVIDIA, Hewlett Packard Enterprise, Dell EMC, Bentley Systems, Huawei Technologies Co., Ltd., «НПО РусБИТех», «ВымпелКом», ГосНИИАС и др.). Кроме того, Институт реализует совместные проекты с ведущими университетскими и исследовательскими центрами: Кембриджский университет (Великобритания), Карнеги-Меллон (США), INRIA (Франция), Университет Пассау (Германия), Технион (Израильский технологический институт), ITRI (Тайвань), Белградский университет (Сербия) и другие.
В числе главных направлений исследований – анализ, моделирование и трансформация программ, а также анализ данных и информационные системы.
Среди инноваций ИСП РАН:
- Svace (основной статический анализатор компании Samsung);
- Система AstraVer Toolset (используется для верификации в ОС Astra Linux Special Edition);
- ИСП Обфускатор (внедрён в ОС «Циркон», которую используют МИД и Пограничная служба ФСБ России).
Одна из ключевых задач ИСП РАН – подготовка кадров высшей квалификации. С первого года обучения студенты начинают получать стипендию, а со второго года – зарплату, которая сопоставима с зарплатами в высокотехнологичных IT-компаниях. Лекции по программированию и математике читают специалисты, активно ведущие исследования и разработки. Учёба на кафедре совмещается с участием в научных работах и коммерческих проектах, что расширяет возможности карьерного роста.
У Института есть собственная аспирантура и специализированный совет по защите диссертаций на соискание учёных степеней кандидата и доктора наук по специальности 05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физико-математические науки, технические науки). Издаются регулярные сборники трудов и препринты. Студенты, аспиранты и сотрудники ИСП РАН выступают с докладами на ведущих отечественных и зарубежных научных конференциях. Многие аспиранты и молодые учёные Института имеют персональные гранты от Минобрнауки и научных фондов.
