Loading AI tools
российский математик Из Википедии, свободной энциклопедии
Арутю́н Ишха́нович Аветися́н (род. 19 марта 1971, Верхняя Эшера, Сухумский район, Абхазская АССР, СССР) — российский математик, специалист в области системного программирования, профессор РАН (2016), член-корреспондент РАН (2016), академик РАН (2019), заведующий кафедрами системного программирования ВМК МГУ, ФУПМ МФТИ, ФКН ВШЭ, директор ИСП РАН.
Арутюн Ишханович Аветисян | |
---|---|
Дата рождения | 19 марта 1971 (53 года) |
Место рождения | с. Верхняя Эшера, Сухумский район, Абхазская АССР, СССР |
Страна |
СССР, Россия |
Род деятельности | математик |
Научная сфера | программирование |
Место работы | Институт системного программирования РАН, МФТИ, ВШЭ, ВМК МГУ |
Альма-матер | Ереванский государственный университет |
Учёная степень | доктор физико-математических наук (2012) |
Учёное звание |
профессор РАН (2016) академик РАН (2019) |
Награды и премии |
Родился 19 марта 1971 года в селе Верхняя Эшера Сухумского района Абхазской АССР.
В 1993 году с отличием окончил факультет прикладной математики Ереванского государственного университета.
В 2001 году защитил кандидатскую диссертацию «Исследование и разработка инструментальной системы программирования ParJava для параллельных вычислительных систем»; в 2012 году — докторскую диссертацию «Современные методы статического и динамического анализа программ для решения приоритетных проблем программной инженерии».
С 2002 года работает в Институте системного программирования РАН; с 2015 года — возглавляет институт.
В январе 2016 года избран профессором РАН[2]; в октябре 2016 года — членом-корреспондентом РАН[3]; в ноябре 2019 года — академиком РАН[4].
С 1 сентября 2017 года — заведующий кафедрой системного программирования факультета вычислительной математики и кибернетики МГУ. С 2017 года — член Совета по науке и образованию при Президенте РФ. Ведёт преподавательскую работу, являясь заведующим кафедрами системного программирования в МГУ, МФТИ и ВШЭ, где читает курсы лекций по компиляторным технологиям и параллельным вычислениям.
Главный редактор журналов «Программирование» и «Труды ИСП РАН»; председатель учёного совета ИСП РАН; руководитель совместной с Samsung лаборатории ИСП РАН; руководитель исследовательского центра Nvidia в ИСП РАН; член правления Ассоциации Тайзен. Ру.
Ведёт научно-исследовательскую работу в областях анализа и оптимизации программ, безопасности программного обеспечения (ПО) и технологии параллельных и распределённых вычислений. Автор свыше 100 публикаций.
При его участии разработаны:
В области безопасности программного обеспечения предложил математические методы и алгоритмы статического, динамического и комбинированного анализа ПО, не имеющие аналогов в России, эффективно решающие на уровне лучших мировых коммерческих систем задачи глубокого анализа ПО с целью его аудита для нахождения уязвимостей безопасности и других дефектов в исходном и бинарном коде. В числе прочего, обеспечена возможность восстановления алгоритмов и нахождения недокументированных возможностей в защищенном бинарном коде. Создана система статического анализа исходного кода Svace и система комбинированного анализа защищенного бинарного кода «Трал», которые внедрены и используются для решения практических задач по обеспечению безопасности ПО в ряде отечественных и зарубежных организаций.
Под его руководством подготовлено 5 кандидатов наук.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.