Rong Gu, Doctoral student

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 group with a close cooperation with Volvo Construction Equipment. Currently, his work focuses on applying formal methods to 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 the following courses:

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

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. On one hand, my research mainly focuses on applying formal verification in the development of autonomous systems, which benefits to find design errors that are difficult to be discovered or reappeared. On the other hand, this research also aims to provide advanced methods and tools to make path and mission plans for multiple autonomous vehicles operating in the same workspace. Those plans can also be simulated and formally verification by these tools so that planning conflicts and errors in the relevant algorithms are not delayed to be discovered in practical prototypes or products, which usually costs more money and time.

Recent experience:

  • 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 formal verification of autonomous vehicles at DPAC summit 2019.
  • Apr 9 - 13, 2018 - I have participated in the 11th ICST as a volunteer.