Институт системного программирования РАН
Институт системного программирования РАН — научно-исследовательское учреждение в структуре Отделения математических наук Российской академии наук, ведущее фундаментальные и прикладные исследования в области информатики. Полное наименование — Федеральное государственное бюджетное учреждение науки Институт системного программирования имени В. П. Иванникова Российской академии наук.
Институт системного программирования РАН (ИСП РАН) | |
---|---|
Международное название | Ivannikov Institute for System Programming, ISP RAS |
Основан | 1994 |
Директор | Арутюн Ишханович Аветисян |
Аспирантура | есть |
Расположение | Россия, Москва |
Юридический адрес | 109004, Москва, улица Солженицына, дом 25. |
Сайт | ispras.ru |
Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН, основатель и первый директор — академик Иванников, директор с августа 2015 года — академик Аветисян.
По данным на 2018 год в ИСП РАН трудится более 200 специалистов, в том числе 14 докторов наук и 44 кандидата наук. Большинство сотрудников — выпускники МГУ и МФТИ.
Выполняет фундаментальные исследования в области информатики, прикладные разработки, ведёт подготовку специалистов по системному программированию. Направления фундаментальных научных исследований:
- операционные системы,
- компиляторные технологии,
- параллельные и распределённые вычисления,
- технологии верификации и тестирования программного обеспечения,
- анализ и обработка больших объёмов данных, семантический поиск и другие.
На базе института работает аспирантура. Сотрудники института преподают на базовых кафедрах в университетах: ВМК МГУ, Физтех-школе прикладной математики и информатики (ФПМИ) МФТИ и Факультета компьютерных наук ВШЭ. Есть также учёный совет и диссертационный совет.
Основные ежегодные мероприятия — Международная открытая конференция ИСП РАН, научно-практическая конференция OS Day, «Иванниковские чтения». Печатный орган — журнал «Труды ИСП РАН»; редакционное руководство журналом «Программирование» Отделения математики РАН сформировано в основном из ведущих сотрудников института.