Образование и ученая степень: факультет ВМК МГУ (2003), доктор физико-математических наук (2018).

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

Преподавание учебных курсов:

  1. «Алгоритмы и алгоритмические языки» для студентов 1 курса бакалавриата ВМК МГУ.
  2. «Анализ программ: понимание и оптимизация» для 2 курса магистратуры ВМК МГУ.

Руководство диссертационными работами на соискание ученой степени кандидата физико-математических наук (за последние три года):

  1. И.А. Дудина, «Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения» (2019).
  2. К.А. Батузов, «Исследование и разработка методов оптимизации программ для систем динамической двоичной трансляции» (2018).
  3. В.К. Кошелев, «Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке С#» (2017)

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

  1. А.А. Белеванцев, С.С. Гайсарян, Л.С. Корухова, Е.А. Кузьменкова. Элементы теории алгоритмов. Издательский отдел факультета ВМиК МГУ, Москва, 2019. — 36 с.
  2. Gleb Morgachev, Valery Ignatyev, and Andrey Belevantsev. Detection of Variable Misuse Using Static Analysis Combined with Machine Learning. Proceedings of ISPRAS Open 2019, pp. 16-25.
  3. Belevantsev Andrey, Borodin Alexey, Dudina Irina, Ignatiev Valery, Izbyshev Alexey, Polyakov Sergey, Velesevich Evgeny, and Zhurikhin Dmitry. Design and development of svace static analyzers. In Ivannikov Memorial Workshop, pages 3–9, Yerevan, Armeniya, 2018.
  4. Borodin Alexey, Belevantsev Andrey, Zhurikhin Dmitry, and Izbyshev Alexey.Deterministic static analysis. In Ivannikov Memorial Workshop, pages 10–18, Yerevan, Armeniya, 2018.
  5. И.А. Дудина, А. А. Белеванцев. Методы организации межпроцедурного анализа для поиска ошибок переполнения буфера. Ломоносовские чтения, 2018.
  6. Belevantsev A., Avetisyan A. (2018) Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code. In: Petrenko A., Voronkov A. (eds) Perspectives of System Informatics. PSI 2017. Lecture Notes in Computer Science, vol 10742.
  7. Беляев М.В., Шимчик Н.В., Игнатьев В.Н.,  Белеванцев А.А.  Сравнительный анализ двух подходов к статическому анализу помеченных данных. Труды ИСП РАН, том 29, вып. 3, 2017 г., стр. 99-116. DOI: 10.15514/ISPRAS-2017-29(3)-7
  8. A. Dudina and A. A. Belevantsev. Using Static Symbolic Execution to Detect Buffer Overflows. Programming and Computer Software, 2017, Vol. 43, No. 5, pp. 277–288.