Институт системного программирования (ИСП) Роcсийской академии наук (РАН) был основан 25-го января 1994-го года на базе бывшего Института проблем кибернетики РАН . ИСП РАН входит в Отделение математических наук РАН . Деятельность Института ведется в следующих трех направлениях: · фундаментальные исследования · прикладные исследования в интересах индустрии · образование Эти направления имеют сильное взаимное влияние. Студенты и аспиранты Института участвуют в проектах фундаментальных и прикладных исследований. Результаты фундаментальных исследований используются в приложениях. Прикладные исследования определяют направления фундаментальных исследований. Основные исследовательские направления: · Анализ и верификация программ, обратная инженерия · Параллельное и распределенное программирование · Технологии разработки компиляторов · Технологии интеграции