Disputation, Lukas Dust – Elektronik

Lukas Dust försvarar sin avhandling i elektronik den 10 december 2025 vid Mälardalens universitet, campus Västerås.

Avhandlingens titel: Analysis and Verification of Temporal Properties of Distributed ROS 2-Based Applications

Tid: 13:15

Plats: Gamma (eller digitalt)

Utsedd opponent: Professor John Hatcliff, Kansas State universitet, USA

Betygsnämnden utgörs av:

• Professor Jacek Malec, Lunds tekniska högskola, Sverige
• Professor Anna-Lena Lamprecht, Potsdam universitet, Tyskland
• Professor Liang Ci, Harbin Institute of Technology, Kina

Reservledamot: Professor Sasikumar Punnekkat, Mälardalens universitet

Språk: Disputationen kommer att hållas på engelska.

Avhandlingsnummer: 448