Институт Системного Программирования Ран


Март 13, 2016 – 09:00
Институт системного

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

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

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

Source: ru.wikipedia.org
Похожие публикации