- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Новости ИСП РАН
- Проекты
- Инновации
- Публикации
- Интеллектуальная собственность
- Противодействие коррупции
- Курсы
- Семинары
- Мероприятия
- Партнёры
- Официальные документы
- СМИ об ИСП РАН
- Вакансии
- Контакты
Новости
18 Апреля, 2025
ИСП РАН выступит партнёром научного форума «Шаг в будущее: глобальный форсайт, искусственный интеллект и стратегическое лидерство»
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
Новости ИСП РАН
09 Октября, 2019
Защита прошла 14 марта 2019 на Диссертационном совете, действующем на базе Института системного программирования им. В.П. Иванникова РАН.
Тема диссертации: "Классификация предупреждений о программных ошибках методом динамического символьного исполнения программ". Научный руководитель: старший научный сотрудник ИСП РАН Шамиль Курмангалеев.
Желаем дальнейших профессиональных успехов!
Поздравляем А.Ю. Герасимова с получением диплома кандидата наук!
Поздравляем сотрудника ИСП РАН Александра Герасимова с получением диплома кандидата физико-математических наук по специальности 05.13.11 (Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей)!Защита прошла 14 марта 2019 на Диссертационном совете, действующем на базе Института системного программирования им. В.П. Иванникова РАН.
Тема диссертации: "Классификация предупреждений о программных ошибках методом динамического символьного исполнения программ". Научный руководитель: старший научный сотрудник ИСП РАН Шамиль Курмангалеев.
Желаем дальнейших профессиональных успехов!
