Институ́т систе́много программи́рования и́мени В. П. Ива́нникова Росси́йской акаде́мии нау́к (ИСП РАН), федеральное государственное бюджетное учреждение науки; научно-исследовательская организация, которая проводит проектно-ориентированные фундаментальные и прикладные исследования в области системного программирования, нацеленные на создание новых технологий для внедрения в индустрии. Создан в 1994 г. на базе Института проблем кибернетики РАН. Основатель и первый директор – академик РАН В. П. Иванников, его имя присвоено ИСП РАН в 2017 г.
В соответствии с Уставом ИСП РАН основными направлениями научной деятельности являются:
операционные системы;
информационная безопасность;
параллельные и распределённые системы;
теоретическая информатика;
человеко-машинные интерфейсы и визуализация;
технологии проектирования и разработки программ;
формальные методы системного программирования;
интеллектуальный анализ данных;
базы данных и информационные системы;
компиляторные технологии;
компьютерные сети.
Основные направления исследований и разработок, ведущихся в ИСП РАН: анализ, трансформация программ и кибербезопасность, искусственный интеллект и анализ больших данных, разработка программного обеспечения, создание технологий информационного моделирования зданий и сооружений.
В ИСП РАН разработаны и актуализируются инструменты статического анализа исходного кода, комплексы динамического анализа, платформы анализа данных, платформа развёртывания облачных инфраструктур и др.
С 2015 г. директор института – академик РАН А. И. Аветисян.
По состоянию на начало 2022 г. в ИСП РАН работают более 500 человек. С 2008 г. ИСП РАН создаёт сеть лабораторий системного программирования, которые уже действуют в Ереване, Великом Новгороде, Орле.
В ИСП РАН создан центр компетенций (в области кибербезопасности по комплексной поддержке процессов сертификации программного обеспечения) совместно с Федеральной службой по техническому и экспортному контролю (2019), совместно с Первым Московским государственным медицинским университетом имени И. М. Сеченова и др. образован научный центр мирового уровня (НЦМУ) «Цифровой биодизайн и персонализированное здравоохранение» (2020). В 2021 г. созданы Технологический центр исследования безопасности ядра Linux и Центр доверенного искусственного интеллекта в рамках федерального проекта «Искусственный интеллект» (2022).
Технологии ИСП РАН используются в ряде зарубежных и российских компаний (Samsung Electronics, Huawei, «РусБИТех», «Лаборатория Касперского», «Код безопасности» и др.) и находятся в Едином реестре российских программ для электронных вычислительных машин и баз данных.
Издается журнал «Труды Института системного программирования РАН» («Труды ИСП РАН») – издание с двойной анонимной системой рецензирования, публикующее научные статьи, которые относятся ко всем областях системного программирования, технологий программирования и вычислительной техники. Целью издания является формирование научно-информационной среды в этих областях путем публикации высококачественных статей в открытом доступе. Журнал издается по одному тому в год, по шесть выпусков (номеров) в каждом томе. С 2010 г. «Труды ИСП РАН» также публикуются в виде периодического электронного издания. Поддерживается открытый доступ к материалам издания, что обеспечивает доступность результатов исследований для общественности и способствует глобальному обмену знаниями.
Ежегодно ИСП РАН проводит ряд научных конференций, в числе которых «Иванниковские чтения», Открытая конференция ИСП РАН, «Анализ данных в медицине», OS DAY.
Международная конференция «Иванниковские чтения» посвящена разработке инновационных технологий в области системного программирования. Двухдневная встреча ведущих экспертов отрасли проводится ежегодно в различных городах России и ближнего зарубежья по инициативе ИСП РАН в память академика РАН В. П. Иванникова.
Открытая конференция Института системного программирования имени В. П. Иванникова РАН. 2021.Международная Открытая конференция ИСП РАН проводится ежегодно при поддержке ряда российских и зарубежных партнеров. Цели и задачи мероприятия: обмен результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения, а также поддержка и развитие экосистемы инноваций, созданной в ИСП РАН для разработки информационных технологий и их использования в сферах образования, науки и промышленности.
Сотрудники ИСП РАН участвуют в подготовке научных кадров, работают на кафедрах системного программирования в Московском физико-техническом институте, на факультете ВМК МГУ и факультете компьютерных наук НИУ ВШЭ.