Андрей Розов

Андрей Розов


Исследовательские группы

Биография

Выпускник Новосибирского государственного университета, факультет информационных технологий, магистр техники и технологии (2012). В настоящее время младший научный сотрудник Института автоматики и электрометрии СО РАН и старший преподаватель на кафедре компьютерных технологий ФИТ НГУ. Участвовал и руководил договорными и инициативными проектами в области встраиваемых систем и специализированных языков программирования. Осуществлял руководство бакалаврскими и магистерскими выпускными работами студентов ВКИ, ФИТ и ФФ НГУ.

Профессиональная активность

Научные интересы: методики разработки встраиваемых систем, программирование микроконтроллеров, специализированные языки разработки управляющих систем, семантика языков программирования, эргономика языков программирования, анализ и реверсивный инжениринг кода управляющих программ.

Публикации

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

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

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

Reflex Language: a Practical Notation for Cyber-Physical Systems

2018

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

2013

Andrei S. Rozov and Vladimir E. Zyubin

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