Petr Nikolaevich Devyanin
РусБИТех
Russian Federation

Doctor of Technical Sciences, Corresponding Member Of Russian Academy Of Cryptography, Professor

Viktor Vyacheslavovich Kulyamin
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University, National Research University Higher School of Economics
Russian Federation

Ph.D. in physics and mathematics, leading researcher at ISP RAS, associate professor of system programming departments at Moscow State University and the Higher School of Economics

Alexander Konstantinovitch Petrenko
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University, National Research University Higher School of Economics
Russian Federation

Doctor of physical and mathematical sciences, professor, head of the department of isp ras, professor of Moscow State University and Higher School of Economics

Alexey Vladimirovich Khoroshilov
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University, National Research University Higher School of Economics, Moscow Institute of Physics and Technology (State University)
Russian Federation

Leading researcher, Ph.D. in physics and mathematics, director of the linux os verification center at ISP RAS, associate professor of system programming departments at Moscow State University and Higher School of Economics, and Moscow Institute of Physics and Technology

Ilya Viktorovich Shchepetkov
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Intern researcher