| Арутюн Ишханович Аветисян | |
|---|---|
 | |
| Дата рождения | 19 марта 1971 (53 года) |
| Место рождения | с. Верхняя Эшера, Сухумский район, Абхазская АССР, СССР |
| Страна |
 СССР, Россия |
| Род деятельности | математик |
| Научная сфера | программирование |
| Место работы | Институт системного программирования РАН, МФТИ, ВШЭ, ВМК МГУ |
| Альма-матер | Ереванский государственный университет |
| Учёная степень | доктор физико-математических наук (2012) |
| Учёное звание |
профессор РАН (2016) академик РАН (2019) |
| Награды и премии |
 |
Арутю́н Ишха́нович Аветися́н (род. 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, поддерживающая переносимость приложений на языках C/C++, обеспечивая как эффективный учёт особенностей аппаратуры, так и высокую степень надёжности и безопасности. Она внедрена в промышленную мобильную платформу Tizen;
- новые методы и инструментальные средства создания параллельных приложений, обеспечивающие высокую продуктивность, в том числе для кластеров с использованием GPGPU.
В области безопасности программного обеспечения предложил математические методы и алгоритмы статического, динамического и комбинированного анализа ПО, не имеющие аналогов в России, эффективно решающие на уровне лучших мировых коммерческих систем задачи глубокого анализа ПО с целью его аудита для нахождения уязвимостей безопасности и других дефектов в исходном и бинарном коде. В числе прочего, обеспечена возможность восстановления алгоритмов и нахождения недокументированных возможностей в защищенном бинарном коде. Создана система статического анализа исходного кода Svace и система комбинированного анализа защищенного бинарного кода «Трал», которые внедрены и используются для решения практических задач по обеспечению безопасности ПО в ряде отечественных и зарубежных организаций.
Под его руководством подготовлено 5 кандидатов наук.
Награды
- Медаль ордена «За заслуги перед Отечеством» II степени (5 июня 2021 года) — за большой вклад в развитии науки и многолетнюю добросовестную работу[5].
Примечания
- ↑ Аветисян Арутюн Ишханович (ВМК МГУ). en.cs.msu.ru. Дата обращения: 16 октября 2017. Архивировано 17 сентября 2017 года.
- ↑ Постановления Президиума РАН о присвоении звания «Профессор РАН» (см. № 13). Дата обращения: 17 октября 2017. Архивировано 22 ноября 2016 года.
- ↑ Выборы в РАН – 2016. Дата обращения: 17 октября 2017. Архивировано 14 ноября 2016 года.
- ↑ "Список академиков РАН, избранных общим собранием членов РАН (ноябрь 2019 г.)". Портал Российской академии наук. 2019-11-15.
- ↑ Указ Президента Российской Федерации от 05.06.2021 № 340 ∙ Официальное опубликование правовых актов ∙ Официальный интернет-портал правовой информации. publication.pravo.gov.ru. Дата обращения: 9 июня 2021. Архивировано 7 июня 2021 года.
Ссылки
- Профиль Арутюна Ишхановича Аветисяна на официальном сайте РАН
- Аветисян А. И. ispras.ru. Дата обращения: 16 октября 2017.
- Статья на сайте «Летопись Московского университета»
- Страница на сайте ВМК МГУ
- Публикации в системе «ИСТИНА МГУ»
 | |
|---|---|
| Словари и энциклопедии |
Эта страница в последний раз была отредактирована 17 мая 2024 в 01:31.
Обычно почти сразу, изредка в течении часа.