Belevantsev Andrey Andreevich

Belevantsev Andrey Andreevich is a Professor at the Faculty of Computer Science, National Research University Higher School of Economics, affiliated with the Basic Department 'System Programming' of the Institute for System Programming named after V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS). He has been working at HSE since 2021, and also holds positions at Lomonosov Moscow State University (since 2011) and ISP RAS (since 2004).

Education:

• 2018: Doctor of Physical and Mathematical Sciences
• 2003: Moscow State University named after M.V. Lomonosov, specialty 'Applied Mathematics and Computer Science', qualification 'Mathematician. Systems Programmer'

Research interests focus on program analysis and optimization, static analysis techniques, and parallel programming. His work emphasizes code reliability through static analyzers, taint analysis, and vulnerability detection in software systems.

Publications include studies on static analysis for code defects, taint analysis accuracy, Kotlin programming language evaluation, and vulnerability detection in the Svace analyzer. These reflect expertise in software engineering, security, and programming language design.

Awards:

• 2025: Elected to membership in Russian Academy of Sciences

Teaching involves courses on Algorithms and Algorithmic Languages for Software Engineering bachelor's students at HSE's Faculty of Computer Science since 2021.