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


Об ИСП РАН

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

С 2015 года директор Института — член-корр. РАН, доктор физико-математических наук, профессор А.И. Аветисян.

ИСП РАН — научная организация, подведомственная ФАНО России. Входит в Отделение математических наук РАН. Деятельность ИСП РАН регулируется Уставом института.

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

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

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

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

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

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

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

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

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

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