Андрей Белеванцев

Avatar1

Андрей Белеванцев, ведущий научный сотрудник ИСП РАН, руководитель направления анализа и оптимизации программ.
С отличием окончил факультет вычислительной математики и кибернетики (ВМК) МГУ имени М.В. Ломоносова в 2003 г. Обучался в аспирантуре факультета ВМК (2003–2006). Кандидат физико-математических наук (2008). С 2001 г. работает в Институте системного программирования РАН.
Участвовал и руководил проектами по оптимизации компиляторов GCC и LLVM, статического анализатора Svace, других инструментов анализа программ для повышения качества и эффективности работы. Читает лекции на ВМК МГУ (доцент кафедры СП). Область научных интересов: статический анализ программ для поиска ошибок, понимание программ, динамический анализ программ, методы оптимизации программ, планирование команд, гетерогенные вычислительные системы.


Технологии жизненного цикла разработки безопасных программ

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



Организаторы

При поддержке