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

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

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

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

• Языки Системного Программирования
• Методы Линейного Программирования
• Задачи Линейного Программирования