Rong Gu, Doctoral student

Rong Gu is a Doctoral Student at Mälardalen University since April 2017.

Education Background:

  • 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 had been working as an embedded system engineer in a top avionic institute in China from 2013 - 2017. His work covers the embedded software development of the safety-critical systems deployed in aircrafts, trains, etc, as well as tools for system simulation, testing, and demonstration. He has a rich experience of model-based software engineering and the relevant methods and tools, e.g., SysML, AADL, Simulink, etc.


Since 2017, Rong started his PhD study in MDH. His research is about embedded system design, verification, and validation using formal methods. He is working in the DPAC project group with close cooperation with Volvo Construction Equipment. Currently, his work focuses on applying formal methods to the modelling and verification of autonomous vehicles, which enables finding potential design errors in the early time of development. His research interest is listed but not limited as follows:

  • Formal modelling and verification of embedded systems
  • Verification of hybrid models
  • Formal specification of requirements
  • Reinforcement learning
  • Controller synthesis of linear and nonlinear hybrid systems

Community service as a reviewer: AST(2020), NFM(20202021), FMICS(2019), SERENE(2018, 2019), ISEC(2021), Journal of Robotics


Rong is actively involved in supervising postgraduate students' thesis and teaching the following courses:

  • DAV231: Development of Web Application
  • DVA218: Data Communication
  • DVA468: Catching Bugs by Formal Verification


He has supervised the following Master thesis:

  • Safety-Guaranteed Mission Planner for Autonomous Vehicles (2020)

Research topic:

In an attempt to increase productivity and the workers’ safety, the construction industry is moving towards autonomous construction sites, where various construction equipment operates without human intervention. Such systems are safety-critical and should operate autonomously with very high dependability. My research mainly focuses on applying formal verification in the development of autonomous systems. Formal verification benefits to find design errors that are difficult to be discovered or reappeared. I am also working on providing advanced methods and tools to synthesize path and mission plans for multiple autonomous vehicles operating in a closed environment. Those plans can also be simulated and analyzed by using our tools so that the planning conflicts and errors are not delayed to be discovered in practical prototypes or products.


Our tool named MALTA has been published: click hereThe introduction video of the tool: click here. Co-authors of the tool: Afshin AmeriBaran Çürüklü, and Eduard Baranov (from UCLouvain). 

Recent experience:

  • May 2021 - I have given a presentation of my research for the MER 21 evaluation of MDH (click here).
  • September 2020 - I have participated in the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2020) and given a presentation about our paper: Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents. This paper has honourably won the Best-paper Award. The presentation is available online (click here).
  • June 2020 - I have attended the 14th Summer School on Modelling and Verification of Parallel Processes (MOVEP) and given a presentation about my research: Controller Synthesis and Verification for Multi-Agent Systems.
  • April 2020 - I have participated in the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020) and given a presentation about our paper: TAMAA: UPPAAL-based Mission Planning for Autonomous Agents. The presentation is available online (click here).
  • November 7, 2019 - I have given a presentation about our research and tool (TAMAA) in the VCE/MDH Partnership Celebration, Eskilstuna, Sweden.
  • June 10, 2019 - I have attended the 2019 Summer School on Cyber-Physical Systems in KTH, Stockholm, Sweden.
  • May 9, 2019 - I have given a presentation at the 11th Annual NASA Formal Methods Symposium (NFM 2019) in Houston, USA - Towards a Two-layer Framework for Verifying Autonomous Vehicles.
  • April 22, 2019 - I have attended the 12th IEEE Conference on Software Testing, Validation and Verification (ICST 2019) in Xi'an, China.
  • Feb 14, 2019 - I have given a presentation at the workshop: Formal Verification - Secure SW Functions for Operating Autonomous Machine with Humans in VOLVO Construction Equipment.
  • Aug 13, 2018 - I have attended the Marktoberdorf Summer School 2018.
  • Jun 2, 2018 - I have given a presentation at the 6th FormaliSE 2018 (International Conference on Formal Methods in Software Engineering) about our paper: Formal Verification of an Autonomous Wheel Loader using Model Checking.
  • Apr 25, 2018 - I have given a presentation about the formal verification of autonomous vehicles at DPAC summit 2018.
  • Apr 9 - 13, 2018 - I have participated in the 11th ICST as a volunteer.