Аветисян Арутюн Ишханович
АВЕТИСЯН АРУТЮН ИШХАНОВИЧ (р. 19.03.1971, с. Верхняя Эшера Сухумского р-на, Абхазская АССР), математик.
Окончил Ереванский государственный университет (1993). Кандидат физико-математических наук (2001, «Исследование и разработка инструментальной системы программирования ParJava для параллельных вычислительных систем»). Доктор физико-математических наук (2012, «Современные методы статического и динамического анализа программ для решения приоритетных проблем программной инженерии»).
Академик отделения математических наук (прикладная математика и информатика, кибербезопасность) РАН (2019, член-корреспондент с 2016).
Профессор (2015), заведующий кафедрой системного программирования (2017–н.вр.) факультета вычислительной математики и кибернетики.
Научная и педагогическая деятельность. В сфере научных интересов анализ и оптимизация программ, безопасность программного обеспечения и технологии параллельных и распределённых вычислений.
Разработал математические методы анализа программного обеспечения/ПО на основе моделей программ, обеспечившие возможность создания новых технологий оптимизации программ. Соответствующие технологии внедрены в промышленные компиляторы GCC и LLVM (новые машинно-ориентированные оптимизации, переносимость приложений на языках С/С++, внедрённая в промышленную мобильную платформу Tizen). Создал новые методы и инструментальные средства высокопродуктивной разработки параллельных приложений, в том числе, для кластеров с использованием GPGPU. Разработал математические методы и алгоритмы статического, динамического и комбинированного анализа ПО и соответствующие технологии Svace и Trex, эффективно решающие задачи глубокого анализа ПО.
Создана технология UniHUB, обеспечивающая возможность разработки web-сервисов от уровня инфраструктуры до уровня приложений в концепции облачных вычислений и их интеграцию в рамках единой web-среды.
Директор Института системного программирования РАН (2015–н.вр.).
Литература. А.И.Аветисян. Институт системного программирования РАН.