Новости института

16 мая в ИСП РАН состоится защита диссертаций

16 мая 2019 года в 13:00 в Актовом зале ИСП РАН состоится защита диссертаций в Диссертационном совете Д 002.087.01 при ИСП РАН.

• Дудина Ирина Александровна, «Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
• Петров Иван Сергеевич, «Обнаружение скомпрометированных коммутаторов в программно-конфигурируемых сетях» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
• Четверина Ольга Александровна, «Повышение качества компиляции кода в режиме по умолчанию» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.