Просмотр исходного текста страницы Аветисян, Арутюн Ишханович

[[Файл:Аветисян Арутюн Ишханович.jpg|thumb|300px|<center><small>А. И. Аветисян</small></center>]]
'''[https://ru.wikipedia.org/wiki/Аветисян,_Арутюн_Ишханович Арутю́н Ишха́нович Аветися́н]''' (род. 1971) — российский математик, специалист в области системного программирования, [[доктор физико-математических наук]], [[Профессор (звание)|профессор]], [[академик РАН]] (2019), заведующий [[Факультет вычислительной математики и кибернетики#|кафедрой системного программирования]] факультета [[ВМК МГУ]].

==Биография==
Родился 19 марта 1971 года в с. Верхняя Эшера Сухумского района Абхазской АССР. В 1993 году с отличием окончил факультет прикладной математики Ереванского государственного университета.

*Защита диссертации на степень кандидата физико-математических наук (2001).
*Защита диссертации на степень доктора физико-математических наук (2012).

'''Учёные звания''':
* [[Профессор РАН]] (январь 2016).
* [[Член-корреспондент РАН]] (октябрь 2016).
* [[Академик РАН]] (ноябрь 2019).

'''Работа''':
С 2002 года — работает в Институте системного программирования РАН;
С 2015 года — директор Институте системного программирования РАН;
С 1 сентября 2017 года — заведующий кафедрой системного программирования факультета вычислительной математики и кибернетики МГУ;
С 2017 года — член Совета по науке и образованию при Президенте РФ.

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

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

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

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

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