Rong Gu is a Doctoral Student at Mälardalen University since April 2017.
- Master of Engineer in Software Engineering School, Xi'an Jiaotong University, China, 2010-2013
- Bachelor in Software Engineering School, Xi'an Jiaotong University, China, 2006-2010
Rong's research is about embedded system design, verification and validation using formal methods. He is working in the DPAC project with a close cooperation with Volvo Construction Equipment. Currently, his work focuses on applying formal method on the modeling and verification of autonomous vehicles, which enables finding potential design errors in the early time of development.
Besides research, Rong is actively involved in teaching bachelor level courses:
- DAV231: Development of Web Application
- DVA218: Data Communication
In an attempt to increase productivity and the workers’ safety, the construction industry is moving towards autonomous construction sites, where various construction equipment operate without human intervention. Such systems are safety critical and should operate autonomously with very high dependability. On one hand, Rong's work mainly focuses on applying formal verification in the development of autonomous systems, which benefits to find design errors in the early stage of development. On the other hand, his work also helps the designers discover potential risks of the autonomous systems in different scenarios, which are difficult to be discovered or reappeared in the laboratory.
Formal Verification of an Autonomous Wheel Loader by Model Checking (Jun 2018) Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE)
|DPAC - Dependable Platforms for Autonomous systems and Control||active|