- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
- Проекты
- Инновации
- Публикации
- Интеллектуальная собственность
- Курсы
- Семинары
- Мероприятия
- Партнёры
- Проекты
- Инновации
- Публикации
- Интеллектуальная собственность
- Курсы
- Семинары
- Мероприятия
- Партнёры
- Контакты
- Официальные документы
- СМИ об ИСП РАН
- Противодействие коррупции
- Вакансии
- Контакты
Новости
24 Апреля, 2024
ИСП РАН и «Базис» расширяют работу по повышению безопасности российских облачных решений
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Новости ИСП РАН
15 Декабря, 2017
Защита диссертаций
15 февраля 2018 года в 15:00 в Актовом зале ИСП РАН состоится защита диссертаций в Диссертационном совете Д 002.087.01 при ИСП РАН.
- Белеванцев Андрей Андреевич, «Многоуровневый статический анализ исходного кода для обеспечения качества программ» на соискание ученой степени доктора физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
- Каушан Вадим Владимирович, «Поиск ошибок выхода за границы буфера в бинарном коде программ» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.