Ilya Vladimirovich GLADYSHEV
National Research University Higher School of Economics
Russian Federation

Master's student studying system programming

Alexander Sergeevich KAMKIN
Ivannikov Institute for System Programming of RAS, Moscow State University (MSU), Moscow Institute of Physics and Technology (MIPT), and Higher School of Economics (HSE)
Russian Federation

Leading researcher at the Software Engineering Department of Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS). He is also a lecturer at Moscow State University (MSU), Moscow Institute of Physics and Technology (MIPT), and Higher School of Economics (HSE)

Artem Mikhailovich KOTSYNYAK
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Junior researcher at the Software Engineering Department

Pavel Andreevich PUTRO
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Received a bachelor's degree in software engineering and a master’s degree in system programming from the National Research University Higher School of Economics, Moscow, Russia, works at the Ivannikov Institute for System Programming of the RAS

Alexey Vladimirovich KHOROSHILOV
Ivannikov Institute for System Programming of RAS, Moscow State University (MSU), Moscow Institute of Physics and Technology (MIPT), and Higher School of Economics (HSE)
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, the Higher School of Economics, and Moscow Institute of Physics and Technology