Ekaterina Mikhaylovna ORLOVA
Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Master’s student at the Faculty of Computational Mathematics and Cybernetics of Lomonosov Moscow State University (MSU), lab assistant at the Institute for System Programming of the RAS. Research interests: static analysis and verification of the Linux kernel.

Anton Aleksandrovich VASILYEV
Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Junior researcher at the Ivannikov Institute for System Programming of the RAS. Research interests: static verification, software model checking, static program analysis.

Oleg Maximovich PETROV
Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Postgraduate student and intern researcher at the Ivannikov Institute for System Programming of the RAS. His research interests include software model checking, static program analysis, delta debugging.