Mikhail Usamovich MANDRYKIN
Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Cand. Sci. (Phys.-Math.), researcher at ISP RAS. Research interests: formal methods, program verification, mathematical logic, functional programming, type systems.

Vadim Sergeevich MUTILIN
Institute for System Programming of the Russian Academy of Sciences, Moscow Institute of Physics and Technology
Russian Federation

Cand. Sci. (Phys.-Math.), leading researcher at ISP RAS and associate professor at Moscow Institute of Physics and Technology. Main research interests: static and dynamic program 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 ISP RAS, Professor of MSU and the Faculty of Computer Science, NRU HSE. Research their use in software development and verification.

Konstantin Sergeevich SOROKIN
Institute for System Programming of the Russian Academy of Sciences, National Research University, Higher School of Economics
Russian Federation

A researcher at the Compiler Technology Department of ISP RAS. Research interests include compiler technologies, static and dynamic analysis, applications of AI/ML for enhancing productivity of software engineers and QA team members.

Ivan Yurievich TYUKIN
Institute for System Programming of the Russian Academy of Sciences, Skolkovo Institute of Science and Technolo
Russian Federation

Dr.Sci. (Tech.), Prof., principal research scientist of the ISP RAS, Professor of the Centre for Artificial Intelligence at Skolkovo Institute of Science and Technology. Research interests: mathematics of Artificial Intelligence, adaptive, robust and trustworthy Artificial Intelligence.