Адрес:
109004, г. Москва,
ул. А. Солженицына,
дом 25.
Факс:
+7(495) 912-15-24
E-mail:
Предпосылки
Сотрудники Института участвовали в ряде крупных проектов СССР таких, как:
- программное обеспечение для знаменитой машины БЭСМ-6, включая операционную систему Д-68 (1968) и систему реального времени НД-70 (1971);
- архитектура и программное обеспечение распределенной неоднородной системы АС-6 (1979), которая эксплуатировалась в течение более 10 лет в Центрах управления полетами;
- архитектура, программное обеспечение и система автоматизации проектирования ЭВМ суперкомпьютера «Электроника СС Бис» (1987).
В 90х годах Институт развивал международное сотрудничество с такими академическими организациями, как GMD (Германия), NPS (США), RAL (Великобритания), CDAC (Индия), INRIA (Франция) и др. при поддержке российскими и международными исследовательскими грантами.
В тоже время Институт проводил и проводит прикладные исследования по контрактам с такими ведущими ИТ компаниями, как Nortel Networks, Microsoft Research, KLOCwork, ATS, Intel, HP, Samsung, Telelogic, VIA Technologies и др. Эти работы проводились в таких направлениях, как трансляторы, обратная инженерия, формальные спецификации и автоматическая генерация тестов, кросс системы для цифровых сигнальных процессоров, распределенные объектно-ориентированные системы, интеграция XML и реляционных баз данных и т.п.
Более детальную информацию можно получить на страницах отделов.