Andrei Rozov

Andrei Rozov


Completed his master studies in 2012 at Novosibirsk State University, Department of Information Technologies. Has since been teaching courses on embedded systems and microcontroller programming for NSU students and researching the field as part of prof. Zyubin's team, Laboratory of Cyber-Physical Systems, Institute of Automation and Electrometry SB RAS. Participated and lead multiple projects in embedded systems and programming languages development. Supervised nine successful student thesis projects at NSU. Currently pursuing a PhD in computer science at IA&E.

Professional Activity

Research interests: embedded software design methods, microcontroller programming, domain-specific programming languages, program semantics, source code ergonomics, code analysis and reverse engineering.


Two-Step Deductive Verification of Control Software Using Reflex

July 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S

Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia

Towards safe cyber-physical systems: the Reflex language and its transformational semantics

April 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E

14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6.

Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems


Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H

Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria

Reflex Language: a Practical Notation for Cyber-Physical Systems


System Informatics 12 (2018), pp. 84–104

A hyperprocess-based approach in Arduino programming

August 2015

Andrey Rozov, Vladimir Zyubin

International Conference on Advanced Technology & Sciences (ICAT’15), Antalya

Process-oriented programming language for MCU-based automation


Andrei S. Rozov and Vladimir E. Zyubin

IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk