Арутю́н Ишха́нович Аветися́н (арм. Հարություն Իշխանի Ավետիսյան: род. 19 марта 1971 года, с. Верхняя Эшера, Сухумский район, Абхазская АССР) — российский математик, специалист в области системного программирования, профессор РАН (2016), член-корреспондент РАН (2016).

Биография

Основной источник: ^[1]

Родился 19 марта 1971 года в с. Верхняя Эшера Сухумского района Абхазской АССР.

В 1993 году — с отличием окончил факультет прикладной математики Ереванского государственного университета.

В 2001 году — защитил кандидатскую, а в 2012 году — докторскую диссертацию.

С 2002 года по настоящее время работает в Институте системного программирования РАН, в 2015 году избран директором Института.

В январе 2016 года избран профессором РАН^[2], а в октябре 2016 года — членом-корреспондентом РАН^[3].

С 1 сентября 2017 года — заведующий кафедрой системного программирования факультета вычислительной математики и кибернетики МГУ.

Профессиональная деятельность

А. И. Аветисян известен в первую очередь своими научными трудами, однако активно участвует также в подготовке кадров и выполнении административных функций^[1].

Научно-исследовательская работа

Ведёт научно-исследовательскую работу в областях анализа и оптимизации программ, безопасности программного обеспечения (ПО) и технологии параллельных и распределённых вычислений. Автор свыше 100 публикаций.

При его участии разработаны:

• математические методы анализа ПО на основе моделей программ, обеспечившие возможность создания новых алгоритмов и технологий оптимизации программ;
• новые машинно-ориентированные оптимизации производительности (планирование команд, векторизация и конвейеризация циклов) и энергопотребления, учитывающие особенности современных архитектур (ARM, EPIC) и профили приложений. Они внедрены в промышленные компиляторы GCC и LLVM;
• расширенная версия компилятора LLVM, поддерживающая переносимость приложений на языках С/С++, обеспечивая как эффективный учёт особенностей аппаратуры, так и высокую степень надёжности и безопасности. Она внедрена в промышленную мобильную платформу Tizen;
• новые методы и инструментальные средства создания параллельных приложений, обеспечивающие высокую продуктивность, в том числе для кластеров с использованием GPGPU.

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

Педагогическая работа

А. И. Аветисян ведёт преподавательскую работу, являясь заведующим кафедрами системного программирования в МГУ, МФТИ и ВШЭ, где читает курсы лекций по компиляторным технологиям и параллельным вычислениям.

Под его руководством подготовлено 5 кандидатов наук.

Научно-организационная работа

• главный редактор журналов «Программирование» и «Труды ИСП РАН»;
• председатель учёного совета ИСП РАН;
• член ACM и IEEE CS, член Европейского сообщества в области высокопроизводительных вычислений и встраиваемых систем HiPEAC;
• руководитель совместной с Samsung лаборатории ИСП РАН;
• руководитель исследовательского центра Nvidia в ИСП РАН;
• член правления Ассоциации Тайзен.Ру.

Примечания