Аветисян, Арутюн Ишханович — различия между версиями
(→Ссылки) |
|||
| (не показано 8 промежуточных версий этого же участника) | |||
| Строка 22: | Строка 22: | ||
Ведёт научно-исследовательскую работу в областях анализа и оптимизации программ, безопасности программного обеспечения (ПО) и технологии параллельных и распределённых вычислений. Автор свыше 100 публикаций. | Ведёт научно-исследовательскую работу в областях анализа и оптимизации программ, безопасности программного обеспечения (ПО) и технологии параллельных и распределённых вычислений. Автор свыше 100 публикаций. | ||
| − | При | + | При участии Аветисяна разработаны: |
| + | *математические методы анализа ПО на основе моделей программ, обеспечившие возможность создания новых алгоритмов и технологий оптимизации программ; | ||
| + | *новые машинно-ориентированные оптимизации производительности (планирование команд, векторизация и конвейеризация циклов) и энергопотребления, учитывающие особенности современных архитектур (ARM, EPIC) и профили приложений. Они внедрены в промышленные компиляторы GCC и LLVM; | ||
| + | *расширенная версия компилятора LLVM, поддерживающая переносимость приложений на языках С/С++, обеспечивая как эффективный учёт особенностей аппаратуры, так и высокую степень надёжности и безопасности. Она внедрена в промышленную мобильную платформу Tizen; | ||
| + | *новые методы и инструментальные средства создания параллельных приложений, обеспечивающие высокую продуктивность, в том числе для кластеров с использованием GPGPU. | ||
| − | |||
| − | |||
| − | |||
| − | |||
В области безопасности программного обеспечения А. И. Аветисяном были предложены математические методы и алгоритмы статического, динамического и комбинированного анализа ПО, не имеющие аналогов в России, эффективно решающие на уровне лучших мировых коммерческих систем задачи глубокого анализа ПО с целью его аудита для нахождения уязвимостей безопасности и других дефектов в исходном и бинарном коде. В числе прочего, обеспечена возможность восстановления алгоритмов и нахождения недокументированных возможностей в защищенном бинарном коде. Создана система статического анализа исходного кода Svace и система комбинированного анализа защищенного бинарного кода Трал, которые внедрены и используются для решения практических задач по обеспечению безопасности ПО в ряде отечественных и зарубежных организаций. | В области безопасности программного обеспечения А. И. Аветисяном были предложены математические методы и алгоритмы статического, динамического и комбинированного анализа ПО, не имеющие аналогов в России, эффективно решающие на уровне лучших мировых коммерческих систем задачи глубокого анализа ПО с целью его аудита для нахождения уязвимостей безопасности и других дефектов в исходном и бинарном коде. В числе прочего, обеспечена возможность восстановления алгоритмов и нахождения недокументированных возможностей в защищенном бинарном коде. Создана система статического анализа исходного кода Svace и система комбинированного анализа защищенного бинарного кода Трал, которые внедрены и используются для решения практических задач по обеспечению безопасности ПО в ряде отечественных и зарубежных организаций. | ||
==Педагогическая работа== | ==Педагогическая работа== | ||
| − | + | Аветисян ведёт преподавательскую работу, являясь заведующим кафедрами системного программирования в МГУ, МФТИ и ВШЭ, где читает курсы лекций по компиляторным технологиям и параллельным вычислениям. | |
| − | Под руководством подготовлено 5 кандидатов наук. | + | Под руководством Аветисяна подготовлено 5 кандидатов наук. |
==Научно-организационная работа== | ==Научно-организационная работа== | ||
| − | главный редактор журналов «Программирование» и «Труды ИСП РАН»; | + | *главный редактор журналов «Программирование» и «Труды ИСП РАН»; |
| − | председатель учёного совета ИСП РАН; | + | *председатель учёного совета ИСП РАН; |
| − | член ACM и IEEE CS, член Европейского сообщества в области высокопроизводительных вычислений и встраиваемых систем HiPEAC; | + | *член ACM и IEEE CS, член Европейского сообщества в области высокопроизводительных вычислений и встраиваемых систем HiPEAC; |
| − | руководитель совместной с Samsung лаборатории ИСП РАН; | + | *руководитель совместной с Samsung лаборатории ИСП РАН; |
| − | руководитель исследовательского центра Nvidia в ИСП РАН; | + | *руководитель исследовательского центра Nvidia в ИСП РАН; |
| − | член правления Ассоциации Тайзен.Ру. | + | *член правления Ассоциации Тайзен.Ру. |
| + | |||
| + | == Ссылки == | ||
| + | * [http://www.ras.ru/win/db/show_per.asp?P=.id-57727.ln-ru Профиль Арутюна Ишхановича Аветисяна на официальном сайте РАН] | ||
| + | * [https://www.ispras.ru/persons/avetisyan.php Арутюн Ишханович Аветисян (ИСП РАН)] | ||
| + | * [http://letopis.msu.ru/peoples/6048 Статья] на сайте «[[Летопись Московского университета]]» | ||
| + | * [https://istina.msu.ru/profile/AvetisyanAI/ Публикации] в системе «[[Истина МГУ]]» | ||
| + | |||
| + | [[Категория:Профессора РАН]] | ||
| + | [[Категория:Преподаватели факультета вычислительной математики и кибернетики]] | ||
| + | [[Категория:Доктора наук]] | ||
Текущая версия на 19:08, 16 марта 2020
Арутю́н Ишха́нович Аветися́н (род. 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 в ИСП РАН;
- член правления Ассоциации Тайзен.Ру.
