Википедия

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

Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 5 ноября 2023 года; проверки требуют 42 правки.

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

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

Основан 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.

Ссылки

Источник — https://ru.wiki.x.io/w/index.php?title=Институт_системного_программирования_РАН&oldid=140612380