Mario Günzel received the M.Sc. in Mathematics in 2019, and graduated in 2024 at the chair for Design Automation of Embedded Systems at TU Dortmund University in Germany, supervised by Prof. Dr. Jian-Jia Chen. He is currently a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS) in the group of Björn Brandenburg, where he works on the PEACH project.
His research interest is in the area of embedded and distributed real-time systems. With over 40 articles in renowned journals and conferences, he published multiple analytical results on self-suspending tasks and end-to-end latency of cause-effect chains. His work has been recognized with three best paper awards (ECRTS'23, EMSoft'24, and RTSS'25) and one outstanding paper award (RTSS'24).
Awards
- ACM SIGBED Paul Caspi Memorial Dissertation Award 2024–2025 (Link)
- RTSS 2025 Best Paper Award
- Excellent Computer Science Dissertation 2025, Awarded by the German Society for Computer Science (Gesellschaft für Informatik)
- RTSS 2024 Outstanding Paper Award
- EMSOFT 2024 Best Paper Award
- ECRTS 2023 Best Paper Award
- Award for outstanding final thesis 2017, Awarded by the Alumni Association ALMA MATH e.V. for the bachelor thesis
- UDE Scholarship 2014–2019, Awarded by the University of Duisburg-Essen
Career
- 2026/11–Current: Postdoc, MPI-SWS, Research Group: Real-Time Systems (Björn Brandenburg)
- 2024/11–2026/03: Postdoc, TU Dortmund University, Research Group: Design Automation for Embedded Systems (Jian-Jia Chen)
- 2019/11–2024/11: PhD Computer Science, TU Dortmund University, Research Group: Design Automation for Embedded Systems (Jian-Jia Chen)
- 2017/10–2019/10: Master of Science Mathematics, University of Duisburg-Essen
- 2014/10–2017/10: Bachelor of Science Mathematics, University of Duisburg-Essen
Research Visits
- 01.02.2025–30.04.2025: Scuola Superiore Sant'Anna, Pisa, Italy, Real-Time Systems (ReTiS) Laboratory, Department of Excellence in Robotics & AI (Alessandro Biondi)
- 01.11.2022–24.02.2023: Eindhoven University of Technology, The Netherlands, Interconnected Resource-aware Intelligent Systems (IRIS) group (Geoffrey Nelissen)
Invited Talks
- 27.11.2024: "Recent Results and Challenges of Distributed Real-Time Systems", ReTiS Lab, Scuola Superiore Sant'Anna, Pisa, Italy
- 09.10.2024: "Property-Based Timing Analysis of Distributed Real-Time Systems", Chair of Real Time Systems, RPTU Kaiserslautern
- 09.07.2024: "Self-Suspension Strikes Back" (Keynote RTSOPS 2024) with Jian-Jia Chen and Georg von der Brüggen
- 12.04.2024: "Timing Analysis of Distributed Real-Time Systems", CAES group, University of Twente
- 06.11.2023: "End-to-End Analysis of Cause-Effect Chains", Chair of Cyber-physical Systems in Production Engineering, TU Munich
- 18.11.2022: "EDF-Like Scheduling for Self-Suspending Real-Time Tasks", IRIS group, TU Eindhoven
Software
SSSEvaluation
An evaluation framework for schedulability of self-suspending tasks.
- Available at: https://github.com/tu-dortmund-ls12-rt/SSSEvaluation
- Related Publications:
- Mario Günzel, Harun Teper, Kuan-Hsun Chen, Georg von der Brüggen, and Jian-Jia Chen, "Work-in-Progress: Evaluation Framework for Self-Suspending Schedulability Tests", IEEE Real-Time Systems Symposium (RTSS), 2021
E2EEvaluation
An evaluation framework for end-to-end latency of cause-effect chains.
- Available at: https://github.com/tu-dortmund-ls12-rt/E2EEvaluation
- Related Publications:
- Robin Edmaier, "Evaluation Framework for End-to-End Analysis" (Master Thesis), 2024 (Link)