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