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

Институт системного программирования РАН
Институт системного программирования РАН
(ИСП РАН)
Вид на институт со стороны Коммунистического переулка.
Международное название

Institute for System Programming, ISP RAS
Основан

1994
Директор

ак. В. А. Иванников
Расположение

Флаг России Москва
Юридический адрес

109004, Москва, ул. А. Солженицына, дом 25.
Сайт

http://www.ispras.ru/

Институт системного программирования Роcсийской академии наук (РАН) был основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН. ИСП РАН входит в Отделение математических наук РАН.

Содержание

Отделы

«Архитектуры вычислительных систем» 
Основное направление исследований отдела связано с эффективной реализацией сетевых архитектур и аппаратных платформ для построения локальных и глобальных сетей.
«Инструментальных средств разработки программ» 
Деятельность отдела посвящена созданию удобных средств инструментальной поддержки языков моделирования и формальных спецификаций.
«Информационных систем» 
Основные направления исследований отдела: cоздание многопользовательских полнофункциональных СУБД (в том числе XML), технологии построения распределенных информационных систем, технологии интеграции неоднородных данных на основе XML.
«Компиляторных технологий» 
Специализируется как в применении компиляторных методов решения проблем в различных областях информатики, так и в разработке современных оптимизирующих компиляторов.
«Системного программирования» 
Сфера научных интересов отдела лежит в областях статического анализа исходного кода программных систем, восстановления и визуализации архитектуры программной системы на основе исходного кода, моделирования изменений архитектуры и автоматической генерации кода программной системы на основе её модели.
«Теоретической информатики» 
Направления исследований отдела сосредоточены в различных областях математики и теоретической информатики: комбинаторике, сложности алгоритмов, вероятностным методам, математической логике и теории алгоритмов, формальным методам анализа программ, логическому программированию, математической криптографии.
«Технологий программирования» 
Научные исследования, ведущиеся в отделе, покрывают широкий спектр проблем программной инженерии, в том числе: методы анализа программ и их моделей, методы верификации и валидации программ, вопросы стандартизации, в частности, вопросы построения открытых стандартов ПО, различные вопросы организации процессов создания, сопровождения и развития программ, включая методы обучения и передачи и внедрения передовых технологий.

Советы

  • Ученый совет
  • Диссертационный совет

Центры

Центр верификации ОС Linux 
Миссия Центра верификации ОС Linux - продвижение платформы Linux путем обеспечения ее высокой надежности и совместимости с помощью открытых стандартов и наукоемких технологий верификации и тестирования.
Центр компетенции по параллельным и распределенным вычислениям 
Цель центра – обеспечение существенного повышения уровня использования параллельных и распределенных вычислений в образовательной, научно-исследовательской и производственной деятельности Российских организаций.

См. также

Ссылки


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "Институт системного программирования РАН" в других словарях:

  • Институт системного программирования — РАН (ИСП РАН) Файл:Isp label.jpg Лого. Международное название Institute for System Programming, ISP RAS Основан 1994 Директор …   Википедия

  • Научно-исследовательский институт системных исследований РАН — НИИСИ Тип НИИ (ФГБУН) Год основания 1986 Расположение Москва Ключевые фигуры директор В.Б.Бетелин …   Википедия

  • ИСП РАН — Институт системного программирования РАН (ИСП РАН) Файл:Isp label.jpg Лого. Международное название Institute for System Programming, ISP RAS Основан 1994 Директор …   Википедия

  • Институты РАН — …   Википедия

  • Отделение математических наук РАН — Отделение математических наук располагается в здании РАН на Воробьёвых горах в Москве Отделение математических наук Российской академии наук (ОМН РАН)  структурное подразделение Российской академии наук, в состав которого входят акаде …   Википедия

  • ИСП РАН — Институт системного программирования РАН Москва, образование и наука ИСП РАН Институт сравнительной политологии Российской академии наук образование и наука, полит., РФ …   Словарь сокращений и аббревиатур

  • Институт систем информатики имени А. П. Ершова СО РАН — Учреждение Российской Академии наук Институт систем информатики имени А. П. Ершова Сибирского отделения РАН (ИСИ СО РАН) Международное название Ershov Institute of Informatics Systems Основан 1990 …   Википедия

  • Научно-исследовательский институт системных исследований — НИИСИ Тип НИИ Год основания 1986 Расположение Москва Ключевые фигуры …   Википедия

  • НИИСИ РАН — НИИСИ Год основания 1986 Ключевые фигуры директор В.Б.Бетелин Тип НИИ Расположение Москва Веб сайт …   Википедия

  • Базовые кафедры МФТИ — неотъемлемая часть так называемой «Системы физтеха», кафедры для подготовки студентов МФТИ по специальностям. Большинство базовых кафедр расположено не в самом МФТИ, а в т. н. базовых институтах, относящихся к РАН и другим структурам. Подобное… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»