Proceedings of ISP RAS


Об Институте системного программирования.

Abstract

Институт системного программирования (www.ispras.ru) Российской Академии наук (ИСП РАН) был организован 25 января 1994 года на базе отделов cистемного программирования и прикладной математики Института проблем кибернетики РАН. ИСП РАН входит в состав отделения математических наук (http://www.ras.ru/win/htm/).

Деятельность Института ведется в следующих трех направлениях:

Научно-исследовательская работа
Разработки программного обеспечения
Учебная работа
Эти направления работы Института находятся в постоянном взаимодействии. В научных исследованиях и договорных работах Института принимают участие студенты и аспиранты. Договорные работы определяют новые направления научных исследований. Результаты научных исследований используются при выполнении договорных работ.

Научные исследования ведутся по следующим направлениям:

Параллельное и распределенное программирование
Технологии разработки компиляторов
Инструментальные средства для разработки программного обеспечения встроенных систем
Анализ и верификация программ и обратная инженерия
Технологии интеграции информационных ресурсов
Применение нейронных сетей для управления объектами
Дискретная математика и численный анализ
В Институте работает более 150 высококвалифицированных научных работников и программистов, из которых 10 имеют степень доктора наук и 35 – степень кандидата наук. Многие сотрудники Института являются преподавателями МГУ, МФТИ и других московских университетов.

Институт тесно связан с Московским государственным университетом и Московским физико-техническим институтом (техническим университетом). Директор Института В.П. Иванников заведует кафедрами системного программирования в этих университетах. Лучшие студенты и аспиранты принимают участие в научно-исследовательских проектах Института.

С 1994 года Институт активно сотрудничает с академическими научными организациями других стран Fraunhofer (Германия), NPS (США), RAL (Великобритания), INRIA (Франция), CDAC (Индия) при поддержке Российских и международных грантов.

Институт является членом Gelato Federation, основанной и спонсируемой компанией HP, и является одним из членов-основателей ForTIA – Европейской промышленной ассоциации формальных методов в программировании.

Институт заключил договоры о научном сотрудничестве в области высокопроизводительных вычислений и GRID-технологии с Институтом информатики Словацкой Академии наук (Братислава, Словакия) и Институтом. проблем информатики и автоматизации Национальной Академии наук Республики Армения (Ереван, Армения).

Несколько исследовательских проектов выполняется по грантам таких компаний как Intel, Microsoft Research и др.

С 1995 года Институт выполняет проекты по договорам с зарубежными предприятиями. Мы сотрудничаем с Nortel Networks, Microsoft, Intel, VIA Technologies Sweden AB, Telelogic, ATS, KLOCwork Solutions Corporation и другими компаниями.

Edition

Proceedings of the Institute for System Programming, vol. 5 (in Russian), 2004, Стр. 5-6

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Full text of the paper in pdf (in Russian) Back to the contents of the volume