Санкт-Петербург
14–15 ноября 2019

Доклады и мастер-классы

Современное состояние исследований и разработок в области автоматического анализа программ

  • Software Testing
  • Принят

15 ноября, 09:30
Room III|III зал
Добавить в gCal    Добавить в iCal/Outlook

Обсудить доклад

Обзор текущего состояния исследований и разработок в области автоматического анализа программ с учётом опыта разработки и применения инструментов автоматического анализа программ на наличие ошибок и уязвимостей безопасности.

фото Александр Герасимов

Александр Герасимов

Старший научный сотрудник, ИСП РАН

В 2001 году с отличием закончил Аэрокосмический факультет Московского авиационного института (МАИ). С 2001 по 2006 год занимался разработкой и внедрением корпоративных информационных систем. С 2006 работает в Институте системного программирования им. В.П. Иванникова РАН. Участвовал в проектах разработки промышленных инструментов анализа программ для компаний Klocwork Inc. (RogueWave Software) и Samsung Electronics в качестве руководителя, исследователя и разработчика. Руководит фундаментальными и промышленными исследованиями, в том числе при поддержке Российского фонда фундаментальных исследований.