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

Институт системного программирования РАН
(ИСП РАН)
Международное название Ivannikov Institute for System Programming, ISP RAS
Основан 1994
Материнская организация Отдел математических наук[вд] и Минобрнауки России[1]
Директор Арутюн Ишханович Аветисян
Аспирантура есть
Расположение  Россия, Москва
Юридический адрес 109004, Москва, улица Солженицына, дом 25.
Сайт ispras.ru

Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) — научно-исследовательское учреждение, ведущее фундаментальные и прикладные исследования в области информатики. ИСП РАН является подведомственной организацией Министерства науки и высшего образования Российской Федерации[2] и находится под научно-методическим руководством Отделения математических наук Российской академии наук.[3] Полное наименование — Федеральное государственное бюджетное учреждение науки Институт системного программирования имени В. П. Иванникова Российской академии наук.

Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН, основатель и первый директор — академик В. П. Иванников, директор с августа 2015 года — академик А. И. Аветисян.

В 2017 году в целях увековечения памяти выдающегося российского ученого в области операционных систем, проектирования ЭВМ, системного программирования, основателя и первого директора ИСП РАН, лауреата Государственной премии СССР, академика РАН Виктора Петровича Иванникова решением Президиума РАН институту присвоено имя В.П. Иванникова[4].

По данным на 2023 год в ИСП РАН трудится более 700 специалистов, в том числе 26 докторов наук и 69 кандидата наук.

Выполняет фундаментальные исследования в области информатики, прикладные разработки, ведёт подготовку специалистов по системному программированию. Направления фундаментальных научных исследований:

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

На базе института работает аспирантура. Сотрудники института преподают на кафедрах системного программирования в университетах: ВМК МГУ, Физтех-школе прикладной математики и информатики (ФРКТ и ФПМИ) МФТИ и Факультета компьютерных наук ВШЭ. Есть также учёный совет и диссертационный совет.

Основные ежегодные мероприятия — Международная Открытая конференция ИСП РАН, научно-практическая конференция OS Day, «Иванниковские чтения». Печатный орган — журнал «Труды ИСП РАН». Редакционное руководство журналом «Программирование».

На базе ИСП РАН организован ряд научно-исследовательских центров: Исследовательский центр доверенного искусственного интеллекта[5], Технологический центр исследования безопасности ядра Linux[6], Научный центр мирового уровня (НЦМУ) «Цифровой биодизайн и персонализированное здравоохранение»[7] и другие.

В 2022 году Институт стал технологическим партнером Центра безопасной разработки ПО целью которого является внедрение инструментов безопасной разработки в российские предприятия, создающие отечественные программные продукты.[8].

Примечания

  1. ↑ Единый Государственный Реестр Юридических Лиц, ЕГРЮЛ
  2. ↑ Распоряжение Правительства Российской Федерации от 27.06.2018 г. № 1293-р, Утвержденный перечень организаций, подведомственных Министерству науки и высшего образования Российской Федерации, №16. Правительство России (27 июня 2018). Дата обращения: 12 ноября 2023. Архивировано 10 января 2022 года.
  3. ↑ Отделение математических наук РАН. Российская академия наук (11 марта 2016). Дата обращения: 12 ноября 2023. Архивировано 12 ноября 2023 года.
  4. ↑ О присвоении имени академика РАН В.П. Иванникова Федеральному государственному бюджетному учреждению науки Институту системного программирования Российской академии наук (представление Отделения математических наук). Российская академия наук (5 июля 2017). Дата обращения: 11 ноября 2023. Архивировано 11 ноября 2023 года.
  5. ↑ Исследовательские центры. Аналитический центр при Правительстве Российской Федерации (2021). Дата обращения: 11 ноября 2023. Архивировано 11 ноября 2023 года.
  6. ↑ ИСП РАН возглавит исследования по безопасности ядра Linux. Российская академия наук (10 ноября 2021). Дата обращения: 11 ноября 2023. Архивировано 11 ноября 2023 года.
  7. ↑ В Сеченовском университете создали новый научный центр мирового уровня: А зачем в консорциум привлечен Институт системного программирования РАН? Российская газета (14 апреля 2021). Дата обращения: 11 ноября 2023. Архивировано 11 ноября 2023 года.
  8. ↑ "«РТ-Проектные технологии» научат предприятия создавать безопасные программные продукты". РОСТЕХ. 2022-09-23. Архивировано 11 ноября 2023.

Ссылки