Аветисян, Арутюн Ишханович

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Арутюн Ишханович Аветисян
Выступление А. И. Аветисяна.jpg
Дата рождения 19 марта 1971(1971-03-19) (51 год)
Место рождения с. Верхняя Эшера, Сухумский район, Абхазская АССР, СССР
Страна  СССР,
 Россия
Научная сфера программирование
Место работы Институт системного программирования РАН, МФТИ, ВШЭ, ВМК МГУ
Альма-матер Ереванский государственный университет
Учёная степень доктор физико-математических наук (2012)
Учёное звание профессор РАН (2016)
академик РАН (2019)
Награды и премии RUS Medal of the Order For Merit to the Fatherland 2nd class ribbon.svg

Арутю́н Ишха́нович Аветися́н (род. 19 марта 1971, Верхняя Эшера, Сухумский район, Абхазская АССР, СССР) — российский математик, специалист в области системного программирования, профессор РАН (2016), член-корреспондент РАН (2016), академик РАН (2019), заведующий кафедрами системного программирования ВМК МГУ, ФУПМ МФТИ, ФКН ВШЭ, директор ИСП РАН.

Биография

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

В 2001 году защитил кандидатскую диссертацию "Исследование и разработка инструментальной системы программирования ParJava для параллельных вычислительных систем "; в 2012 году — докторскую диссертацию «Современные методы статического и динамического анализа программ для решения приоритетных проблем программной инженерии».

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

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

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

Гглавный редактор журналов «Программирование» и «Труды ИСП РАН»; председатель учёного совета ИСП РАН; руководитель совместной с Samsung лаборатории ИСП РАН; руководитель исследовательского центра Nvidia в ИСП РАН; член правления Ассоциации Тайзен. Ру.

Научная деятельность

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

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

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

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

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

Награды

Примечания

  1. Аветисян Арутюн Ишханович (ВМК МГУ). en.cs.msu.ru. Дата обращения: 16 октября 2017. Архивировано 17 сентября 2017 года.
  2. Постановления Президиума РАН о присвоении звания «Профессор РАН» (см. № 13). Дата обращения: 17 октября 2017. Архивировано 22 ноября 2016 года.
  3. Выборы в РАН – 2016. Дата обращения: 17 октября 2017. Архивировано 14 ноября 2016 года.
  4. Список академиков РАН, избранных общим собранием членов РАН (ноябрь 2019 г.), Портал Российской академии наук (15 ноября 2019).
  5. Указ Президента Российской Федерации от 05.06.2021 № 340 ∙ Официальное опубликование правовых актов ∙ Официальный интернет-портал правовой информации. publication.pravo.gov.ru. Дата обращения: 9 июня 2021. Архивировано 7 июня 2021 года.

Ссылки