Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) — научно-исследовательское учреждение, ведущее фундаментальные и прикладные исследования в области информатики. ИСП РАН является подведомственной организацией Министерства науки и высшего образования Российской Федерации[1] и находится под научно-методическим руководством Отделения математических наукРоссийской академии наук.[2] Полное наименование — Федеральное государственное бюджетное учреждение науки Институт системного программирования имени В. П. Иванникова Российской академии наук.
Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН, основатель и первый директор — академик В. П. Иванников, директор с августа 2015 года — академик А. И. Аветисян.
В 2017 году в целях увековечения памяти выдающегося российского ученого в области операционных систем, проектирования ЭВМ, системного программирования, основателя и первого директора ИСП РАН, лауреата Государственной премии СССР, академика РАН Виктора Петровича Иванникова решением Президиума РАН институту присвоено имя В.П. Иванникова[3].
По данным на 2023 год в ИСП РАН трудится более 700 специалистов, в том числе 26 докторов наук и 69 кандидата наук.
Выполняет фундаментальные исследования в области информатики, прикладные разработки, ведёт подготовку специалистов по системному программированию. Направления фундаментальных научных исследований:
операционные системы,
компиляторные технологии,
параллельные и распределённые вычисления,
технологии верификации и тестирования программного обеспечения,
анализ и обработка больших объёмов данных, искусственный интеллект и другие.
На базе института работает аспирантура. Сотрудники института преподают на кафедрах системного программирования в университетах: ВМК МГУ, Физтех-школе прикладной математики и информатики (ФРКТ и ФПМИ) МФТИ и Факультета компьютерных наук ВШЭ. Есть также учёный совет и диссертационный совет.
Основные ежегодные мероприятия — Международная Открытая конференция ИСП РАН, научно-практическая конференция OS Day, «Иванниковские чтения». Печатный орган — журнал «Труды ИСП РАН». Редакционное руководство журналом «Программирование».
На базе ИСП РАН организован ряд научно-исследовательских центров: Исследовательский центр доверенного искусственного интеллекта[4], Технологический центр исследования безопасности ядра Linux[5], Научный центр мирового уровня (НЦМУ) «Цифровой биодизайн и персонализированное здравоохранение»[6] и другие.
В 2022 году Институт стал технологическим партнером Центра безопасной разработки ПО целью которого является внедрение инструментов безопасной разработки в российские предприятия, создающие отечественные программные продукты.[7].
↑Исследовательские центры (неопр.). Аналитический центр при Правительстве Российской Федерации (2021). Дата обращения: 11 ноября 2023. Архивировано 11 ноября 2023 года.