Andrei Rozov
Research Groups
Biography
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.
Publications
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
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
Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
2019
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
Reflex Language: a Practical Notation for Cyber-Physical Systems
2018
A hyperprocess-based approach in Arduino programming
August 2015
Andrey Rozov, Vladimir Zyubin
Process-oriented programming language for MCU-based automation
2013
Andrei S. Rozov and Vladimir E. Zyubin