|
Современное состояние исследований и разработок в области автоматического анализа программ
- Software Testing
- Принят
15 ноября, 09:30
Room III|III зал
Добавить в gCal Добавить в iCal/Outlook
Обсудить доклад
Обзор текущего состояния исследований и разработок в области автоматического анализа программ с учётом опыта разработки и применения инструментов автоматического анализа программ на наличие ошибок и уязвимостей безопасности.
Александр Герасимов
Старший научный сотрудник, ИСП РАН
В 2001 году с отличием закончил Аэрокосмический факультет Московского авиационного института (МАИ). С 2001 по 2006 год занимался разработкой и внедрением корпоративных информационных систем. С 2006 работает в Институте системного программирования им. В.П. Иванникова РАН. Участвовал в проектах разработки промышленных инструментов анализа программ для компаний Klocwork Inc. (RogueWave Software) и Samsung Electronics в качестве руководителя, исследователя и разработчика. Руководит фундаментальными и промышленными исследованиями, в том числе при поддержке Российского фонда фундаментальных исследований.