| Институт системного программирования им. В.П. Иванникова РАН (ИСП РАН) | |
|---|---|
| Международное название | Ivannikov Institute for System Programming, ISP RAS |
| Основан | 1994 |
| Директор | Арутюн Аветисян |
| Расположение |
 |
| Юридический адрес | 109004, Москва, улица Солженицына, дом 25. |
| Сайт | ispras.ru |
Институт системного программирования им. В.П. Иванникова РАН — научно-исследовательское учреждение Отделения математических наук Российской академии наук, ведущее фундаментальные и прикладные исследования в области информатики. Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН.
Структурно подчиняется Отделению математических наук РАН. Отделы: архитектура вычислительных систем, информационные системы, компиляторные технологии, системное программирование, теоретическая информатика, технологии программирования, системная интеграция и прикладные программные комплексы. В институте действуют учёный совет и диссертационный совет. Одно из структурных подразделений — Центр верификации операционной системы Linux. Среди разработок института — СУБД Sedna и технология тестирования программного и аппаратного обеспечения UniTESK.
Директор в период 1994—2014 годов — академик В. П. Иванников, в 2015 году директором избран Арутюн Аветисян.
В июле 2017 года институту было присвоено имя бывшего директора В. П. Иванникова[1].
Примечания
Ссылки
- Сайт института
- Журнал: «Труды института системного программирования РАН» на сайте Math-Net.Ru
- Интервью Арутюна Аветисян информационному агентству RNS «О деятельности ИСП»
 | Для улучшения этой статьи желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .