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

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

Institute for System Programming, ISP RAS

Основан

1994

Директор

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

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

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

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

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

Сайт

ispras.ru

Координаты: 55°44′42″ с. ш. 37°39′52″ в. д. / 55.74500000002777256° с. ш. 37.66450000002777188° в. д. / 55.74500000002777256; 37.66450000002777188 (G) (O) (Я)

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

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

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

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

Среди разработок института — СУБД Sedna и технология тестирования программного и аппаратного обеспечения UniTESK.

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