Nikita Alexandrovich BORODAVKO
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University
Russian Federation

A bachelor’s student at the Department of Computational Mathematics and Cybernetics of Lomonosov Moscow State University, an employee of the ISP RAS. Research interests: compiler technologies, static analysis of the source code, symbolic execution, finding errors in source code.

Valery Nikolaevich IGNATIEV
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University
Russian Federation

Cand. Sci. (Phys.-Math.), Senior Researcher at the ISP RAS, Associate Professor at the Department of System Programming at the Faculty of Computational Mathematics and Cybernetics at Moscow State University. Research interests include methods for finding errors in software source code based on static analysis.