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