# : НИИ \
Институт систем информатики имени А.П. Ершова СО РАН

Институт систем информатики имени А.П. Ершова СО РАН
Статуc: СО РАН
Адрес: г., пр. Лаврентьева, д. 6
Контакты:
Телефон: +7 (383) 3343652
Web-адрес http://www.iis.nsk.su/
Диссертационные советы:
  • К 003.032.01
  • Описание:

    Институт систем информатики имени Андрея Петровича Ершова (ИСИ СО РАН) существует с 1 апреля 1990 года, в сентябре 1997 года он вошел в Объединенный институт информатики Сибирского отделения Российской академии наук.

    Работники института. 1 апреля 2005 г.

    Однако историческая археология Института начинается в 1958 году, когда в Институте математики СО АН был разработан Отдел программирования, который возглавил будущий академик Андрей Петрович Ершов. Первым проектом Отдела стала создание Альфа-транслятора - оптимизирующей системы программирования для алгоритмического алголоподобного языка Альфа.

    В 1964 году Отдел программирования был переведен в только что созданный Компьютерный центр СО АН, который тогда возглавлял академик Гурий Иванович Марчук. 60-ые и 70-ые годы стали временем роста Отдела и расширения тематики научных разработок. В круг целей А.П.Ершова и его коллег и учеников вошли, кроме создания компиляторов, многие всякие задачи системного и теоретического программирования, проблема искусственного интеллекта, эксперименты в области архитектуры ЭВМ. Таким образом была создана Сибирская школа системного и теоретического программирования. Сейчас эта школа занимает заметные позиции в разных областях научных открытий.

    В 80-ые годы были начаты экспериментальные и прикладные проекты, направленные на апробацию и разработку полученных практических и методологических результатов. Эти проекты связаны с современными языками параллельного программирования, синтезом и проверкой программного обеспечения, оптимизацией прикладного программного обеспечения, а также с созданием современной архитектуры ЭВМ и САПР СБИС.

    В текущий год ИСИ проводит научные открытия в области практических и методологических главенствующих основ разработки систем информатики, включая:

  • теоретические основания информатики; варианты и инструменты построения программного обеспечения повышенной надежности и эффективности;
  • идеи и системы искусственного интеллекта;
  • системное и прикладное программы перспективных компьютерных комплексов, систем, сетей и комплексов.
  • Институт состоит из шести лабораторий и нескольких научно-вспомогательных отделений, включая Отдел научно-технической общей информации с Мемориальной библиотекой А.П.Ершова.