исп ран

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