Научно-исследовательские институты

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

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

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

  • операционные системы;

  • информационная безопасность;

  • параллельные и распределённые системы;

  • теоретическая информатика;

  • человеко-машинные интерфейсы и визуализация;

  • технологии проектирования и разработки программ;

  • формальные методы системного программирования;

  • интеллектуальный анализ данных;

  • базы данных и информационные системы;

  • компиляторные технологии;

  • компьютерные сети.

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

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

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

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

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

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

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

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

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

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

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

  • Разработка программного обеспечения
  • Научно-исследовательские институты Российской академии наук