Выступление в качестве официального оппонента диссертации Саргсяна Севака Сениковича «Методы оптимизации алгоритмов статического и динамического анализа программ», представленной на соискание ученой степени доктора технических наук по специальности 2.3.5 — математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей на соискание учёной степени доктора технических наук (ИСП РАН)