St.Petersburg, Russia
November 14–15, 2019|Санкт-Петербург
14–15 ноября 2019

Talks & master-classes|Доклады и мастер-классы

State of the art in automatic program analysis research and development|Современное состояние исследований и разработок в области автоматического анализа программ

  • Software Testing
  • Accepted|Принят

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

Discuss the presentation|Обсудить доклад

[lang_en]

Review of current state of research and development technologies for the automatic program analysis for defect and security vulnerabilities detection

[/lang_en][lang_ru]

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

[/lang_ru]

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

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

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

[lang_ru]

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

[/lang_ru]