Новости ИСП РАН

Поздравляем Ирину Дудину и Илью Захарова!

Поздравляем сотрудников ИСП РАН Ирину Дудину и Илью Захарова с получением дипломов кандидатов физико-математических наук по специальности 05.13.11 (математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей). Дипломы вручил директор института А. Аветисян 16 января 2020 года.

Защита диссертации И. Дудиной «Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения» состоялась 16 мая 2019 года (научный руководитель – д.ф.-м.н. А. Белеванцев).

Защита диссертации И. Захарова «Методы декомпозиции систем и моделирования окружения программных модулей для верификации Си-программ» прошла 23 мая 2019 года (научный руководитель – профессор, д.ф.-м.н., заведующий отделом технологий программирования А. Петренко).

Обе работы были приняты к защите Диссертационным советом, действующем на базе ИСП РАН. Всего в 2019 году в институте успешно состоялись защиты восьми кандидатских диссертаций.

Желаем новым кандидатам наук дальнейших профессиональных успехов!