Институт систем информатики
им. А. П. Ершова
(ИСИ СО РАН) существует с 1 апреля 1990 года,
в сентябре 1997 года
он вошел в Объединенный институт информатики Сибирского отделения Российской академии наук.
В настоящее время ИСИ проводит научные исследования в области теоретических
и методологических основ создания систем информатики, включая:
теоретические основания информатики; методы и инструменты построения программ повышенной надежности
и эффективности; методы
и системы искусственного интеллекта; системное и прикладное программное обеспечение перспективных вычислительных машин, систем, сетей
и комплексов.
Институт состоит из 6 лабораторий
и нескольких научно-вспомогательных подразделений, включая Отдел научно-технической информации с Мемориальной библиотекой А. П. Ершова.
Hаучно-исследовательские подразделения
- Лаборатория теоретического программирования;
- Лаборатория автоматизации
и архитектуры СБИС;
- Лаборатория искусственного интеллекта;
- Лаборатория cмешанных вычислений;
- Лаборатория системного программирования;
- Лаборатория конструирования
и оптимизации программ;
- HИГ переносимых систем программирования;
- Группа моделирования сложных систем.
Hаучно-технические и научно-вспомогательные
- группа технической поддержки,
- oтдел научно-технической информации,
- oтдел научно-организационный.
|