Boris Haimovich Barladyan
Keldysh Institute of Applied Mathematics Russian Academy of Science
Russian Federation

Senior Researcher, Candidate of Technical Sciences, Associate Professor

Lev Zalmanovich Shapiro
Keldysh Institute of Applied Mathematics Russian Academy of Science
Russian Federation

Senior Researcher, Candidate of Technical Sciences, Associate Professor

Kurbanmagomed Abdurahimovich Mallachiev
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Junior Researcher

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, the Higher School of Economics, and Moscow Institute of Physics and Technology

Yuri Alekseevich Solodelov
State Research Institute of Aviation Systems
Russian Federation

Head of Sector

Alexey Gennadievich Voloboy
Keldysh Institute of Applied Mathematics Russian Academy of Science
Russian Federation

Leading Researcher, Doctor of Physical and Mathematical Sciences, Associate Professor

Vladimir Alexandrovich Galaktionov
Keldysh Institute of Applied Mathematics Russian Academy of Science
Russian Federation

Chief Researcher, Doctor of Physical and Mathematical Sciences, Professor

Grigor Viktorovich Koverninsky
State Research Institute of Aviation Systems
Russian Federation

Вeputy head of department