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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Институт системного программирования им. В.П. Иванникова РАН
(ИСП РАН)
Международное название

Ivannikov Institute for System Programming, ISP RAS

Основан

1994

Директор

Арутюн Аветисян

Расположение

Flag of Russia.svg Россия, Москва

Юридический адрес

109004, Москва, улица Солженицына, дом 25.

Сайт

ispras.ru

Вид на институт со стороны Коммунистического переулка.

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

Структурно подчиняется Отделению математических наук РАН. Отделы: архитектура вычислительных систем, информационные системы, компиляторные технологии, системное программирование, теоретическая информатика, технологии программирования, системная интеграция и прикладные программные комплексы. В институте действуют учёный совет и диссертационный совет. Одно из структурных подразделений — Центр верификации операционной системы Linux. Среди разработок института — СУБД Sedna и технология тестирования программного и аппаратного обеспечения UniTESK.

Директор в период 1994—2014 годов — академик В. П. Иванников, в 2015 году директором избран Арутюн Аветисян.

В июле 2017 года институту было присвоено имя бывшего директора В. П. Иванникова[1].

Примечания[править | править вики-текст]

Ссылки[править | править вики-текст]