Заведующий кафедрой системного программирования Института математики и информатики Российско-Армянского университета Севак Саргсян успешно защитил докторскую диссертацию на тему "Методы оптимизации алгоритмов статического и динамического анализа программ". 

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

Он отметил, что работа посвящена методам анализа безопасности ПО. Предложены ряд новых методов и создана платформа для обеспечения жизненного цикла разработки безопасного ПО.

Поздравляем Севака Саргсяна и желаем дальнейших побед!