- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
Новости института
- Проекты
- Инновации
- Публикации
- Семинары
- Интеллектуальная собственность
- Курсы
- Мероприятия
- Партнёры
- Устав
- Противодействие коррупции
- Контакты
Новости
11 Января, 2019
Защита диссертаций
Новости ИСП РАН
15 Ноября, 2016
Svace стал одним из трёх номинантов «Технология года» CNews AWARDS 2016
Промышленный инструмент статического анализа исходного кода программ Svace, предназначенный для поиска широкого набора критических ошибок, уязвимостей и недостатков кода, стал одним из трёх номинантов «Технология года» CNews AWARDS, который прошел 10 ноября 2016 года в рамках CNews FORUM 2016.
