Public defence, Lukas Dust - Electronics

The public defence of Lukas Dust’s doctoral thesis will take place at Mälardalen University, campus Västerås December 10, 2025.

Title: Analysis and Verification of Temporal Properties of Distributed ROS 2-Based Applications External link.

Third-cycle subject: Electronics

Time: 13:15

Room: Gamma (or digitally)

External reviewer: Professor John Hatcliff, Kansas State University, US

The examining committee consists of:

• Professor Jacek Malec, LTH, Faculty of Engineering, Sweden
• Professor Anna-Lena Lamprecht, University of Potsdam, Germany
• Professor Liang Ci, Harbin Institute of Technology, China

Reserve member of the examining committee: Professor Sasikumar Punnekkat, Mälardalen University.

Language: The public defence will be held in English.

The doctoral thesis has the serial number: 448