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

Институ́т систе́м информа́тики и́мени А. П. Ершо́ва СО РАН — научно-исследовательский институт Сибирского отделения РАН, организованный в 1990 году. Расположен в Новосибирске[1].

Федеральное государственное бюджетное учреждение науки Институт систем информатики имени А. П. Ершова Сибирского отделения РАН
(ИСИ СО РАН)
Международное название A. P. Ershov Institute of Informatics Systems
Основан 1990
Директор д.ф.-м.н. А.Ю. Пальянов
Расположение  Россия, Новосибирск
Юридический адрес 630090, г. Новосибирск, пр. Академика Лаврентьева, 6
Сайт iis.nsk.su

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

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

История
Проходная институтов ИВМиМГ СО РАН и ИСИ СО РАН

Свою историю институт начинает с 1958 года, когда в Институте математики СО АН СССР был создан Отдел программирования, возглавляемый Андреем Петровичем Ершовым. В 1964 году Отдел программирования был переведен в организованный тогда Вычислительный центр СО АН СССР. Шестидесятые и семидесятые годы стали временем роста Отдела и расширения тематики научных исследований. В круг интересов А.П. Ершова, его коллег и учеников вошли, кроме разработки компиляторов, многие другие задачи системного и теоретического программирования, проблематика искусственного интеллекта, эксперименты в области архитектуры ЭВМ. Таким образом была создана Сибирская школа системного и теоретического программирования, занимающая заметные позиции во многих областях научных исследований. Институт систем информатики был создан в 1990 году на базе коллектива, который многие годы возглавлял А.П. Ершов, в соответствии с распоряжением Совета Министров СССР от 10.11.1989 г. В 1995 г. ИСИ СО РАН было присвоено имя академика А.П. Ершова. В сентябре 1997 года ИСИ СО РАН вошёл в Объединенный институт информатики Сибирского отделения Российской академии наук. В 1998 году в соответствии с Федеральным законом «О науке и государственной научно-технической политике» Институт систем информатики им. А.П. Ершова СО РАН получил государственную аккредитацию Министерства науки и технологий Российской Федерации в качестве научно-исследовательского учреждения.

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

Директора

См. также

Примечания
  1. Новосибирск. Энциклопедия / Гл.ред. Ламин В. А. — Новосибирск: Новосибирское книжное издательство, 2003. — С. 376. — 1071 с. — ISBN 5-7620-0968-8.

Ссылки
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.