Mikhail Vladimirovich BELYAEV
Институт системного программирования им. В.П. Иванникова РАН
Russian Federation

Junior Researcher at ISP RAS. Research interests: compiler technologies, static code analysis, taint analysis.

Polina Ilyinichna RAGOZINA
Институт системного программирования им. В.П. Иванникова РАН
Russian Federation

Senior Laboratory Assistant at ISP RAS, a researcher at the Department of Compiler Technologies. Scientific interests: static analysis of programs, symbolic execution, taint analysis.

Valery Nikolayevich IGNATYEV
Институт системного программирования им. В.П. Иванникова РАН
Russian Federation

Cand. Sci. (Phys.-Math.) in computer sciences, senior researcher at Ivannikov Institute for System Programming RAS and associate professor at system programming division of CMC faculty of Lomonosov Moscow State University. His research interests include program analysis techniques for error detection in program source code using classical static analysis and machine learning.