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

  Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) – научно-исследовательская организация, осуществляющая деятельность в сфере информационных технологий.
  Основные направления:
  Операционные системы.
  Информационная безопасность и кибербезопасность.
  Параллельные и распределённые вычисления.
  Теоретическая информатика.
  Человеко-машинные интерфейсы и визуализация данных.
  Технологии проектирования и разработки программного обеспечения.
  Формальные методы системного программирования (верификация и тестирование ПО).
  Искусственный интеллект и интеллектуальный анализ больших данных.
  Базы данных и информационные системы.
  Компиляторные технологии.
  Компьютерные сети.
  Анализ и трансформация программ.
  Технологии информационного моделирования зданий и сооружений (BIM).