Sophia M. PANOVA
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Plekhanov Russian University of Economics
Russian Federation

Laboratory assistant at the Software Engineering Department of the Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS). Her research interests include digital hardware design, static analysis, and functional verification.

Sergey A. SMOLOV
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Plekhanov Russian University of Economics
Russian Federation

Researcher at the Software Engineering Department of Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS), senior researcher at the Heterogeneous Computing Systems research lab of Plekhanov RUE. His research interests include digital hardware design automation, verification and testing.

Marina М. VOLKOVA
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Plekhanov Russian University of Economics
Russian Federation

Laboratory assistant at the Software Engineering Department of Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS). Her research interests include machine learning, data analysis, methods of static analysis and verification.