Официальное наименование института:
на русском языке:
полное: Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук;
сокращенное: ИСИ СО РАН;
на английском языке:
полное: A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
сокращенное: IIS SB RAS.
Местонахождение института:
на русском
630090, Российская Федерация, г. Новосибирск, проспект Академика Лаврентьева, 6.
тел. (383) 3308652, факс (383) 3323494,
вебсайт www.iis.nsk.su,
электронная почта iis@iis.nsk.su.
на английском
6, Acad. Lavrentjev pr., Novosibirsk 630090, Russia
Phone +7 383 3308652
Fax +7 383 3323494
e-mail: iis@iis.nsk.su
Институт был создан в соответствии с распоряжениями Совета Министров СССР от 10.11.89 г. № 1970-р, Совета Министров РСФСР от 21.11.89 г. № 1046-р и постановлением Президиума СО АН СССР от 30.03.90 г. № 161. Тем же постановлением директором Института был назначен д.ф.-м.н. В.Е. Котов. В 1993 г. директором ИСИ стал д.ф.-м.н. И.В. Поттосин.
В 1995 г. Институту систем информатики было присвоено имя академика А.П. Ершова. В марте 1998 г. директором ИСИ им. А.П. Ершова был избран д.ф.-м.н. А.Г. Марчук. 21 мая 1998 года в соответствии с Федеральным законом «О науке и государственной научно-технической политике» институт получил государственную аккредитацию Министерства науки и технологий Российской Федерации в качестве научно-исследовательского учреждения, о чем выданы Свидетельство (№ 75 от 21.05.98, Серия АНО 0000155) и Приложение к нему (Серия АНО 0000023), действительные до 21 мая 2001 года.
19 июля 1994 года ИСИ СО РАН получил свидетельство (рег. № ГР1366) в мэрии г. Новосибирска, согласно которому он зарегистрирован Постановлением № 1004 в качестве некоммерческой организации — научно-исследовательского учреждения. Институту систем информатики СО РАН Министерством государственного имущества РФ выдано свидетельство о внесении в реестр федерального имущества 17 февраля 2000 года под № 054Н0182 административного здания и хозяйственных сооружений, закрепленных за ним на праве оперативного управления.
Организационно-правовая форма
Институт является подведомственной РАН некоммерческой научной организацией – учреждением Российской академии наук и входит в состав организаций, объединяемых Сибирским отделением Российской академии наук.
Основные научные направления деятельности института, обеспеченность квалифицированными кадрами
Основными направлениями научных исследований Института, в соответствии с постановлением Президиума СО РАН № 268 от 20.08.97, являются теоретические и методологические основы создания систем информатики, в том числе:
- теоретические основания информатики;
- методы и инструменты построения программ повышенной надежности и эффективности;
- методы и системы искусственного интеллекта;
- системное и прикладное программное обеспечение перспективных вычислительных машин, систем, сетей и комплексов.
По состоянию на начало 2010 года в Институте работают:
- 133 сотрудника, из них 65 научных сотрудников,
- 8 докторов наук, из них 7 д.ф.-м.н. и 1 д.т.н,
- 36 кандидатов наук, из них 30 к.ф.-м.н. 5 к.т.н. и 1 к.и.н.
Руководство института
Директор:
д.ф.-м.н., профессор Марчук Александр Гурьевич
Ученый секретарь:
к.ф.-м.н. Пальянов Андрей Юрьевич
Заместитель директора по научной деятельности:
к.ф.-м.н. Фёдор Александрович Мурзин
Заместитель директора по экономической деятельности:
Владимир Эдуардович Филиппов
Структура института
В структуре Института действуют 7 лабораторий и 1 научно-исследовательская группа.
Лаборатория теоретического программирования
Заведующий лабораторией к.ф.-м.н. Валерий Александрович Непомнящий.
Основные направления исследований:
- исследование формальных моделей и методов описания семантики, спецификации и верификации параллельных и распределенных систем.
Лаборатория автоматизации проектирования и архитектуры СБИС
Заведующий лабораторией д.ф.-м.н. Александр Гурьевич Марчук.
Основные направления исследований:
- разработка систем автоматизации проектирования и программирования;
- создание информационных и телекоммуникационных систем и сетей.
Лаборатория искусственного интеллекта
Заведующий лабораторией к.т.н. Юрий Алексеевич Загорулько.
Основные направления исследований:
- методы и системы искусственного интеллекта.
Лаборатория системного программирования
Заведующий лабораторией к.т.н. Владимир Иванович Шелехов.
Основные направления исследований:
- создание методов и экспериментальных инструментов конструирования и спецификаций программ в окружениях надежного программирования.
Лаборатория конструирования и оптимизации программ
Заведующий лабораторией д.ф.-м.н., проф., чл.-кор. РАЕН Виктор Николаевич Касьянов.
Основные направления исследований:
- развитие теории трансформационного программирования и разработка методов и средств конструирования эффективных и надежных программ;
- разработка программно-методических средств поддержки преподавания фундаментальных основ информатики и программирования;
- создание инструментально-информационной системы по оптимизирующим и реструктурирующим преобразованиям программ для ЭВМ параллельных архитектур;
- подготовка «Энциклопедии по алгоритмам и методам теории графов для программистов».
Лаборатория смешанных вычислений
Заведующий лабораторией: к.ф.-м.н. Михаил Алексеевич Бульонков.
Основные направления исследований:
- теория и практика смешанных вычислений.
Лаборатория моделирования сложных систем
Заведующий лабораторией: к.ф.-м.н. Фёдор Александрович Мурзин.
Основные направления исследований:
- разработка сложных алгоритмов и программных систем для применения в различных областях: обработка изображений и сигналов, биоинформатика, поиск нефти, обработка текстов на естественном языке.
Научно-исследовательская группа переносимых систем программирования
Руководитель группы: Андрей Дмитриевич Хапугин.
Основные направления исследований:
- теоретические основы и инструментальные программные системы, поддерживающие разработку переносимых программных систем на базе объектно-ориентированного подхода.
