Человек, создающий будущее: 55-лет академику А.И. Аветисяну
Аветисян Арутюн Ишханович – известный российский математик и популяризатор науки, ведущий ученый в области системного программирования и кибербезопасности, доктор физико-математических наук, академик РАН, директор Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН), заместитель президента РАН по цифровой трансформации. Научный руководитель Исследовательского центра доверенного искусственного интеллекта ИСП РАН.
Руководитель крупного научного проекта «Безопасность данных в вопросах источников происхождения, конфиденциальности, распределенного хранения и обработки, в том числе, для задач машинного обучения».
Сфера научных интересов: анализ и оптимизация программ, безопасность программного обеспечения, компиляторные технологии и технологии параллельных и распределённых вычислений. Под руководством и при непосредственном участии А.И. Аветисяна были получены фундаментальные результаты в области безопасности программного обеспечения (ПО), разработаны математические методы и алгоритмы статического, динамического и комбинированного анализа ПО, решена проблема восстановления алгоритмов из бинарного кода с возможностью их последующей верификации. Полученные результаты не имеют аналогов в России и позволяют эффективно решать задачи глубокого анализа и трансформации программ с целью их аудита для нахождения уязвимостей безопасности и других дефектов в исходном и бинарном коде.
На базе полученных результатов созданы инструментальные средства поддержки жизненного цикла разработки безопасного ПО: статический анализатор исходного кода Svace, комплекс динамического анализа программ Crusher и другие. Созданные инструментальные средства внедрены в российских государственных учреждениях и в коммерческих предприятиях, занимающихся сертификацией и разработкой безопасного ПО.
А.И. Аветисян заведует кафедрами системного программирования на факультетах ВМК МГУ, ФУПМ МФТИ и ФКН ВШЭ, читает курсы «Системы параллельного программирования» и «Оптимизация в компиляторах». Осуществляет научное руководство лабораториями системного программирования в Новгородском государственном университете им. Ярослава Мудрого (г. Великий Новгород), Российско-Армянском университете (Ереван, Республика Армения), на базе Академии ФСО России (г. Орёл).
Автор более 100 научных работ, имеет 10 свидетельств о регистрации результатов интеллектуальной деятельности.
Член Бюро Отделения математических наук РАН, а также ряда советов и рабочих групп. Главный редактор журналов «Программирование» и «Труды ИСП РАН», научный руководитель и председатель редколлегии журнала «Системный администратор». Член организационных и программных комитетов научных конференций (Открытая конференция ИСП РАН, OS DAY, «Иванниковские чтения», «Анализ данных в медицине», ранее – международный саммит «OpenCirrus 2011» и др.). Член международных сообществ ACM и IEEE CS, а также Европейского сообщества в области высокопроизводительных вычислений и встраиваемых систем HiPEAC.
Награжден медалью ордена «За заслуги перед Отечеством» II степени, лауреат премии Правительства Российской Федерации в области науки и техники, удостоен премии имени С.А. Лебедева Российской академии наук, имеет звание Почетный доктор Санкт-Петербургского политехнического университета Петра Великого.
```