ИСП РАН

Институт системного программирования (ИСП) Роcсийской академии наук (РАН) был основан 25-го января 1994-го года на базе бывшего Института проблем кибернетики РАН.

ИСП РАН входит в Отделение математических наук РАН.

Деятельность Института ведется в следующих трех направлениях:

·             фундаментальные исследования

·             прикладные исследования в интересах индустрии

·             образование

Эти направления имеют сильное взаимное влияние. Студенты и аспиранты Института участвуют в проектах фундаментальных и прикладных исследований. Результаты фундаментальных исследований используются в приложениях. Прикладные исследования определяют направления фундаментальных исследований.

Основные исследовательские направления:

·             Анализ и верификация программ, обратная инженерия

·             Параллельное и распределенное программирование

·             Технологии разработки компиляторов

·             Технологии интеграции информационных ресурсов

·             Нейронные сети и теория управления

·             Дискретная математика и численный анализ

·             Инструментальные средства для разработки программного обеспечения встроенных систем

Институт имеет более 120 высококвалифицированных постоянных сотрудников и около 80 специалистов, работающих по контрактам. 11 сотрудников - доктора наук и 35 имеют степень кандидата. Многие сотрудники преподают в Московском государственном университете и Московском физико-техническом институте.

Библиотека ИСП содержит богатый подбор монографий и периодических изданий по информатике.