Veronika Pavlovna RUDENCHIK
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Researcher at ISP RAS. Research interests: static and dynamic program analysis.

Pavel Sergeevich ANDRIANOV
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Researcher in ISP RAS, Ph.D. Research interests: software model checking, parallel programs.

Vadim Sergeevich MUTILIN
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow Institute of Physics and Technology
Russian Federation

Cand. Sci. (Phys.-Math.), leading researcher at Ivannikov Institute for System Programming of the RAS and associate professor at Moscow Institute of Physics and Technology. Main research interests: static and dynamic program analysis.