ИСП РАН

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