Александр Герасимов
Старший научный сотрудник, ИСП РАН
SECR 2019
Обзор текущего состояния исследований и разработок в области автоматического анализа программ с учётом опыта разработки и применения инструментов автоматического анализа программ на наличие ошибок и уязвимостей безопасности.