Vadim Sergeevitch KARCEV
Institute for System Programming of the Russian Academy of Sciences Moscow Institute of Physics and Technology
Russian Federation

Master student at the Department of Radio Engineering and Computer Technologies of MIPT, an employee of the ISP RAS. Research interests: compiler technologies, static program analysis, static symbolic execution, defect search in source.

Valery Nikolayevich IGNATYEV
Institute for System Programming of the Russian Academy of Sciences Lomonosov Moscow State University
Russian Federation

Cand. Sci (Phys.-Math.), senior researcher at Ivannikov Institute for System Programming RAS and associate professor at system programming division of CMC faculty of Lomonosov Moscow State University. He is interested in techniques of errors and vulnerabilities detection in program source code using static analysis.