Образование и ученая степень: ВМК МГУ (2008); к.ф.-м.н. (2013).

Область научных интересов: абстрактная интерпретация, анализ бинарного кода, анализ исходного кода, операционные системы.

Преподавание учебных курсов: «Анализ кода и информационная безопасность» (ВМК МГУ).

Руководство дипломными работами за последние три года:

  1. «Оценка реализуемости путей выполнения в бинарном коде на основе метода символьного выполнения», Папазьян Е.Ю., 2020, ВМК МГУ, бакалавриат.
  2. «Обнаружение утечек чувствительных данных в исполняемом коде», Манушин Д.В., 2018, ВМК МГУ, магистратура.

Публикации за последние три года:

  1. Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А. «Практическая абстрактная интерпретация бинарного кода». «Труды ИСП РАН», 2020.
  2. Fokina N.Yu., Solovev M.A. “Automated generation of machine instruction decoders”. “Programming and Computer Software”, 2019.
  3. Solovev M.A., Bakulin M.G., Gorbachev M.S., Manushin D.V., Padaryan V.A., Panasenko S.S. “Next-Generation Intermediate Representations for Binary Code Analysis”. “Programming and Computer Software”, 2019.
  4. Bugerya A.B., Kim E.S., Solovev M.A. “Parallelization of Implementations of Purely Sequential Algorithms”. “Programming and Computer Software”, 2019.
  5. Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А. «Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода». «Труды ИСП РАН», 2019.
  6. Бугеря А.Б., Ефимов В.Ю., Кулагин И.И., Падарян В.А., Соловьев М.А., Тихонов А.Ю. «Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода». «Труды ИСП РАН», 2019.
  7. Фокина Н.Ю., Соловьев М.А. «Автоматизированная генерация декодеров машинных команд». «Труды ИСП РАН», 2018.
  8. Соловьев М.А., Бакулин М.Г., Горбачев М.С., Манушин Д.В., Падарян В.А., Панасенко С.С. «О новом поколении промежуточных представлений, применяемом для анализа бинарного кода». «Труды ИСП РАН», 2018.
  9. Бугеря А.Б., Ким Е.С., Соловьев М.А. «Распараллеливание реализаций сугубо последовательных алгоритмов». «Труды ИСП РАН», 2018.