Sergey Mikhailovich STAROLETOV
Polzunov Altai State Technical University
Russian Federation

Cand. Sci. (Phys.-Math.), associate professor. Research interests: formal verification, model checking, cyber-physical systems, operating systems.

Dmitry Alexandrovich KONDRATYEV
Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk State University
Russian Federation

Cand. Sci. (Phys.-Math.), researcher at Ershov Institute of Informatics Systems Siberian Branch of the RAS, senior lecturer at Novosibirsk State University. Research interests: formal verification, deductive verification, Hoare logic and automated theorem proving.

Natalia Olegovna GARANINA
Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
Russian Federation

Cand. Sci. (Phys.-Math.), senior researcher at Ershov Institute of Informatics Systems Siberian Branch of the RAS, associate professor at Novosibirsk State University. Research interests: formal verification, model checking, distributed systems, requirements engineering.

Irina Vladimirovna SHOSHMINA
Peter the Great St. Petersburg Polytechnic University
Russian Federation

Cand. Sci. (Tech.), associate professor. Research interests: formal verification, model checking, distributed systems and algorithms.