Институт системного программирования РАН



Институт системного программирования РАН — научно-исследовательское учреждение в структуре Отделения математических наук Российской академии наук, ведущее фундаментальные и прикладные исследования в области информатики. Полное наименование — Федеральное государственное бюджетное учреждение науки Институт системного программирования имени В. П. Иванникова Российской академии наук.

Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН, основатель и первый директор — академик Иванников, директор с августа 2015 года — академик Аветисян.

Выполняет фундаментальные исследования в области информатики, прикладные разработки, ведёт подготовку специалистов по системному программированию. Направления фундаментальных научных исследований:

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

На базе института функционируют аспирантура, кафедры системного программирования на ВМК МГУ, ФУПМ МФТИ и на Факультете компьютерных наук ВШЭ. Есть также учёный совет и диссертационный совет. По данным на 2018 год в ИСП РАН работают более 200 специалистов, в том числе 14 докторов наук и 44 кандидата наук. Большинство сотрудников — выпускники МГУ и МФТИ.

Основные ежегодные мероприятия — Международная открытая конференция ИСП РАН, научно-практическая конференция OS Day, «Иванниковские чтения». Печатный орган — журнал «Труды ИСП РАН»; редакционное руководство журналом «Программирование» Отделения математики РАН сформировано в основном из ведущих сотрудников института.