Институт системного программирования им. В.П. Иванникова РАН


Об ИСП РАН

Институт системного программирования (ИСП) Роcсийской академии наук (РАН) был основан 25-го января 1994-го года на базе бывшего Института проблем кибернетики РАН. Институт возглавил и бессменно руководит на протяжении 20 лет академик В.П. Иванников. ИСП РАН входит в Отделение математических наук РАН. Институт является научной организацией, подведомственной ФАНО России. Деятельность института регулируется Уставом института.

Основные активностями института являются фундаментальные исследования, прикладные исследования в интересах индустрии и образование.

Институт имеет более 200 высококвалифицированных постоянных сотрудников и около 80 специалистов, работающих по контрактам, из них 15 сотрудников - доктора наук и 60 имеют степень кандидата. Большинство сотрудников являются выпускниками Московского государственного университета (МГУ) и Московского физико-технического института (МФТИ).

Основными направлениями фундаментальных научных исследований и прикладных разработок ИСП РАН являются:

  • анализ бинарного кода, обратная инженерия.
  • компиляторные технологии.
  • базы данных и базы знаний.
  • параллельные и распределенные вычисления.
  • тестирование, верификация и валидация программных продуктов.
  • дискретная математика и численный анализ.

ИСП РАН концентрируется на проведении исследований и разработок, которые должны быть востребованы как промышленным, так и научным сообществом. Идёт планомерная работа на реальный результат, а не на повышение рейтингов.

Кроме этого институт успешно решает не только фундаментальные и прикладные научные проблемы, но и выступает координатором крупномасштабных научно-технических проектов и осуществляет подготовку молодых научных кадров. Более 27 сотрудников института ведут преподовательскую деятельность на кафедре «Системного программирования» МФТИ при ИСП РАН и на кафедре «Системного программирования» ВМиК МГУ.

ИСП РАН поддерживает активные связи с ведущими международными научными центрами, в том числе с UNO/IIST (ООН, Макао), Fraunhofer (Германия), INRIA (Франция), RAL (Великобритания), NPS (США). Также институт выполняет научные разработки по заказам и грантам крупных зарубежных коммерческих фирм Nortel (Канада), Telelogic (Швеция), Microsoft Research (Великобритания), Intel (США), HP (США), Samsung (Южная Корея) и др.

Исторический опыт

Сотрудники Института участвовали в ряде крупных проектов СССР таких, как:

  • программное обеспечение для знаменитой машины БЭСМ-6, включая операционную систему Д-68 (1968) и систему реального времени НД-70 (1971);
  • архитектура и программное обеспечение распределенной неоднородной системы АС-6 (1979), которая эксплуатировалась в течение более 10 лет в Центрах управления полетами;
  • архитектура, программное обеспечение и система автоматизации проектирования ЭВМ суперкомпьютера «Электроника СС Бис» (1987).