Denis Valentinovich EFREMOV
Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Senior researcher. Research interests: formal verification, static and dynamic analysis.

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

Dr. Sci. (Phys.-Math.), Prof., Head of Software Engineering Department of the Ivannikov Institute for System Programming, Russian Academy of Sciences, Professor of MSU and the Faculty of Computer Science, NUY HSE. Research their use in software development and verification.

Boris Aronovich POZIN
Institute for System Programming of the Russian Academy of Sciences, 3 National Research University, Higher School of Economics, “EC-leasing” Co.
Russian Federation

Dr. Sci. (Tech.), Prof., Chief Researcher at the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Professor of the Basic Department of CJSC EС-Leasing at the Higher School of Economics, Technical Director of CJSC EС-Leasing. Research interests: software engineering, life cycle ensuring systems for trusted software, automated software testing.

Vitaly Adolfovich SEMENOV
Institute for System Programming of the Russian Academy of Sciences, Moscow Institute of Physics and Technology
Russian Federation

Dr. Sci. (Phys.-Math.), Prof., Head of the Department of System Integration and Multi-disciplinary Applied Systems of the Ivannikov Institute for System Programming of the RAS since 2015. Research interests: model-driven methodologies and CASE toolkits for creating digital platforms and advanced applied systems, visualization and computer graphics, building information modeling, project management and scheduling.