55°44′42″ с. ш. 37°39′52″ в. д.HGЯO

Институт системного программирования РАН: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Интерактивная навигация по истории
(Показать все непатрулированные изменения)
[отпатрулированная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
присвоение института имени В. П. Иванникова
Институт переименован
Строка 1: Строка 1:
{{Карточка института
{{Карточка института
|название = Институт системного программирования РАН
|название = Институт системного программирования им. В.П. Иванникова РАН
|сокращение = ИСП РАН
|сокращение = ИСП РАН
|эмблема =
|эмблема =
|изображение =
|изображение =
|междуназвание = Institute for System Programming, ISP RAS
|междуназвание = Ivannikov Institute for System Programming, ISP RAS
|основан = 1994
|основан = 1994
|директор = [[Аветисян, Арутюн Ишханович|Арутюн Аветисян]]
|директор = [[Аветисян, Арутюн Ишханович|Арутюн Аветисян]]
Строка 14: Строка 14:
}}
}}
[[Файл:Moscow. Kommunistichesky Lane.jpg|слева|мини|Вид на институт со стороны [[Коммунистический переулок (Москва)|Коммунистического переулка]].]]
[[Файл:Moscow. Kommunistichesky Lane.jpg|слева|мини|Вид на институт со стороны [[Коммунистический переулок (Москва)|Коммунистического переулка]].]]
'''Институт системного программирования РАН''' — научно-исследовательское учреждение [[Отделение математических наук РАН|Отделения математических наук]] [[Российская академия наук|Российской академии наук]], ведущее фундаментальные и прикладные исследования в области [[Информатика|информатики]]. Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН.
'''Институт системного программирования им. В.П. Иванникова РАН''' — научно-исследовательское учреждение [[Отделение математических наук РАН|Отделения математических наук]] [[Российская академия наук|Российской академии наук]], ведущее фундаментальные и прикладные исследования в области [[Информатика|информатики]]. Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН.


Структурно подчиняется [[Отделение математических наук РАН|Отделению математических наук РАН]]. Отделы: архитектура вычислительных систем, информационные системы, компиляторные технологии, системное программирование, теоретическая информатика, технологии программирования, системная интеграция и прикладные программные комплексы. В институте действуют учёный совет и диссертационный совет. Одно из структурных подразделений — Центр верификации операционной системы Linux. Среди разработок института — СУБД [[Sedna]] и технология тестирования программного и аппаратного обеспечения [[Технология UniTESK|UniTESK]].
Структурно подчиняется [[Отделение математических наук РАН|Отделению математических наук РАН]]. Отделы: архитектура вычислительных систем, информационные системы, компиляторные технологии, системное программирование, теоретическая информатика, технологии программирования, системная интеграция и прикладные программные комплексы. В институте действуют учёный совет и диссертационный совет. Одно из структурных подразделений — Центр верификации операционной системы Linux. Среди разработок института — СУБД [[Sedna]] и технология тестирования программного и аппаратного обеспечения [[Технология UniTESK|UniTESK]].

Версия от 16:38, 16 августа 2017

Институт системного программирования им. В.П. Иванникова РАН
(ИСП РАН)
Международное название Ivannikov Institute for System Programming, ISP RAS
Основан 1994
Материнская организация Отдел математических наук[вд] и Минобрнауки России[1]
Директор Арутюн Аветисян
Расположение  Россия, Москва
Юридический адрес 109004, Москва, улица Солженицына, дом 25.
Сайт ispras.ru

Вид на институт со стороны Коммунистического переулка.

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

Структурно подчиняется Отделению математических наук РАН. Отделы: архитектура вычислительных систем, информационные системы, компиляторные технологии, системное программирование, теоретическая информатика, технологии программирования, системная интеграция и прикладные программные комплексы. В институте действуют учёный совет и диссертационный совет. Одно из структурных подразделений — Центр верификации операционной системы Linux. Среди разработок института — СУБД Sedna и технология тестирования программного и аппаратного обеспечения UniTESK.

Директор в период 1994—2014 годов — академик В. П. Иванников, в 2015 году директором избран Арутюн Аветисян.

В июле 2017 года институту было присвоено имя бывшего директора В. П. Иванникова[2].

Примечания

  1. ↑ Единый Государственный Реестр Юридических Лиц, ЕГРЮЛ
  2. ↑ Постановления Президиума РАН № 133 от 05.07.2017 «О присвоении имени академика РАН В.П. Иванникова Федеральному государственному бюджетному учреждению науки Институту системного программирования Российской академии наук». ras.ru. Дата обращения: 2017-7-17.

Ссылки

Источник — https://ru.wikipedia.org/ruwiki/w/index.php?title=Институт_системного_программирования_РАН&oldid=87101078