Институт системного программирования им. В. П. Иванникова РАН

Институ́т систе́много программи́рования им. В. П. Ива́нникова Росси́йской акаде́мии нау́к (ИСП РАН), федеральное государственное бюджетное учреждение науки; научно-исследовательская организация, которая проводит проектно-ориентированные фундаментальные и прикладные исследования в области системного программирования, нацеленные на создание новых технологий для внедрения в индустрии. Создан в 1994 г. на базе Института проблем кибернетики РАН. Основатель и первый директор – академик РАН В. П. Иванников, его имя присвоено ИСП РАН в 2017 г.

В соответствии с Уставом ИСП РАН основными направлениями научной деятельности являются:

• операционные системы;
• информационная безопасность;
• параллельные и распределённые системы;
• теоретическая информатика;
• человеко-машинные интерфейсы и визуализация;
• технологии проектирования и разработки программ;
• формальные методы системного программирования;
• интеллектуальный анализ данных;
• базы данных и информационные системы;
• компиляторные технологии;
• компьютерные сети.

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

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

С 2015 г. директор института – академик РАН А. И. Аветисян.

По состоянию на начало 2022 г. в ИСП РАН работают более 500 человек. С 2008 г. ИСП РАН создаёт сеть лабораторий системного программирования, которые уже действуют в Ереване, Великом Новгороде, Орле.

В ИСП РАН создан центр компетенций (в области кибербезопасности по комплексной поддержке процессов сертификации программного обеспечения) совместно с Федеральной службой по техническому и экспортному контролю (2019), совместно с Первым Московским государственным медицинским университетом имени И. М. Сеченова и др. образован научный центр мирового уровня (НЦМУ) «Цифровой биодизайн и персонализированное здравоохранение» (2020). В 2021 г. созданы Технологический центр исследования безопасности ядра Linux и Центр доверенного искусственного интеллекта в рамках федерального проекта «Искусственный интеллект» (2022).

Технологии ИСП РАН используются в ряде зарубежных и российских компаний (Samsung Electronics, Huawei, «РусБИТех», «Лаборатория Касперского», «Код безопасности» и др.) и находятся в Едином реестре российских программ для электронных вычислительных машин и баз данных.

Издается журнал ««Труды Института системного программирования РАН» («Труды ИСП РАН») – издание с двойной анонимной системой рецензирования, публикующее научные статьи, которые относятся ко всем областям системного программирования, технологий программирования и вычислительной техники. Целью издания является формирование научно-информационной среды в этих областях путем публикации высококачественных статей в открытом доступе. Журнал издается по одному тому в год, по шесть выпусков (номеров) в каждом томе. С 2010 г. «Труды ИСП РАН» также публикуются в виде периодического электронного издания. Поддерживается открытый доступ к материалам издания, что обеспечивает доступность результатов исследований для общественности и способствует глобальному обмену знаниями.

Ежегодно ИСП РАН проводит ряд научных конференций, в числе которых ««Иванниковские чтения», Открытая конференция ИСП РАН, «Анализ данных в медицине», OS DAY.

Международная конференция «Иванниковские чтения» посвящена разработке инновационных технологий в области системного программирования. Двухдневная встреча ведущих экспертов отрасли проводится ежегодно в различных городах России и ближнего зарубежья по инициативе ИСП РАН в память академика РАН В. П. Иванникова.

Международная Открытая конференция ИСП РАН проводится ежегодно при поддержке ряда российских и зарубежных партнеров. Цели и задачи мероприятия: обмен результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения, а также поддержка и развитие экосистемы инноваций, созданной в ИСП РАН для разработки информационных технологий и их использования в сферах образования, науки и промышленности.

Сотрудники ИСП РАН участвуют в подготовке научных кадров, работают на кафедрах системного программирования в Московском физико-техническом институте, на факультете ВМК МГУ и факультете компьютерных наук НИУ ВШЭ.