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