Karcev Vadim KARCEV
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Departament of Radio Engineering and Cybernetics MIPT
Russian Federation

Postgraduate student of the Phystech School of Radio Engineering and Computer Technologies of MIPT, employee of the ISP RAS. Research interests: compiler technologies, static program analysis, static symbolic execution, searching for defects in source code.

Valery Nikolaevich IGNATIEV
Ivannikov Institute for System Programming of the Russian Academy of Sciences, CMC Faculty Lomonosov 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.