Директор Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН), Академик РАН, д-р физ.-мат. наук
Области научных интересов:
анализ и трансформация программ;
безопасность программного обеспечения (ПО);
компиляторные технологии;
технологии параллельных и распределенных вычислений.
Основные результаты научной работы:
разработаны математические методы анализа ПО на основе моделей программ, обеспечившие возможность создания новых технологий оптимизации программ; созданы соответствующие технологии, внедренные в промышленные компиляторы GCC и LLVM (новые машинно-ориентированные оптимизации, переносимость приложений на языках С/С++, внедренная в промышленную мобильную платформу Tizen);
созданы новые методы и инструментальные средства высокопродуктивной разработки параллельных приложений, в том числе, для кластеров с использованием GPGPU;
разработаны математические методы и алгоритмы статического, динамического и комбинированного анализа ПО и созданы соответствующие технологии Svace и Trex, эффективно решающие задачи глубокого анализа ПО на уровне лучших мировых систем; технологии внедрены и используются для обеспечения безопасности ПО в ряде отечественных и зарубежных организаций.
создана технология UniHUB, обеспечивающая возможность создания web-сервисов от уровня инфраструктуры до уровня приложений в концепции облачных вычислений и их интеграцию в рамках единой web-среды; на базе UniHUB функционируют несколько web-лабораторий.
Образование:
Институт системного программирования РАН, 2012. Диссертация на соискание учёной степени д.ф.-м.н.;
Институт системного программирования РАН, 2001. Диссертация на соискание учёной степени к.ф.-м.н.;
Ереванский государственный университет, 1988-1993. Прикладная математика.
Общественная профессиональная деятельность:
Член ACM;
Старший член IEEE CS;
Член Европейского сообщества HiPEAC;
Заместитель президента РАН по реализации цифровой трансформации;
Член экспертного совета Национальной технологической инициативы при Правительственной комиссии по модернизации экономики и инновационному развитию России;
Председатель Экспертного совета по дебюрократизации в сферах образования и науки при Комитете ГД по образованию и науке;
Член совета по цифровому развитию и информационным технологиям Минобрнауки РФ;
Член научно-координационного совета федеральной целевой программы Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России;
Член совета при Президенте Российской Федерации по науке и образованию (2017-2019);
Член редколлегии журнала "Труды Института системного программирования РАН";
Разработчиками КР выступили Ассоциация врачей и специалистов медицины труда, Российское научное медицинское общество терапевтов и Российское респираторное общество