Новости
18 Апреля, 2025
ИСП РАН выступит партнёром научного форума «Шаг в будущее: глобальный форсайт, искусственный интеллект и стратегическое лидерство»
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
Новости ИСП РАН
15 Марта, 2019
16 мая в ИСП РАН состоится защита диссертаций
16 мая 2019 года в 13:00 в Актовом зале ИСП РАН состоится защита диссертаций в Диссертационном совете Д 002.087.01 при ИСП РАН.
- Дудина Ирина Александровна, «Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
- Петров Иван Сергеевич, «Обнаружение скомпрометированных коммутаторов в программно-конфигурируемых сетях» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
- Четверина Ольга Александровна, «Повышение качества компиляции кода в режиме по умолчанию» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.