Mario Günzel

Mario Günzel is a Researcher at the Department of Computer Science, Faculty of Computer Science at Technical University of Dortmund, where he works in the Design Automation for Embedded Systems research group under Prof. Dr. Jian-Jia Chen. Having completed his PhD in 2024 with a dissertation on property-based timing analysis of distributed real-time systems, he has established himself as a leading researcher in real-time systems with over 30 publications and multiple prestigious awards including Best Paper Awards at ECRTS 2023 and EMSOFT 2024, as well as an Outstanding Paper Award at RTSS 2024.

• PhD in Computer Science, Technical University of Dortmund (2024)
• M.Sc. in Mathematics, University of Duisburg-Essen (2019)
• B.Sc. in Mathematics, University of Duisburg-Essen (2017)

Günzel's research focuses on the theoretical and practical aspects of real-time systems, particularly in self-suspending tasks and end-to-end latency analysis of cause-effect chains. His work bridges formal methods with practical applications in embedded systems, automotive systems, and robotics. He has developed evaluation frameworks like SSSEvaluation and E2EEvaluation that have become important tools in the real-time systems community. His research demonstrates exceptional depth in both theoretical foundations and practical implementations, with significant contributions to scheduling algorithms, timing analysis, and real-time operating systems.

The recent publication trend shows Günzel's expanding research scope from core real-time scheduling problems to applications in automotive systems, electric vehicle scheduling, and ROS 2 integration. His work consistently addresses fundamental challenges in real-time systems while developing practical solutions with real-world applicability. The publications reveal a strong focus on eliminating timing anomalies, optimizing priority assignments, and developing distribution-agnostic analysis methods that advance the theoretical foundations of real-time systems.

• Outstanding Paper Award at IEEE RTSS (2024)
• Best Paper Award at ACM EMSOFT (2024)
• Best Paper Award at ECRTS (2023)
• Outstanding Bachelor Thesis Award (2017)
• UDE Scholarship (2014-2019)

Günzel actively supervises bachelor's and master's theses, with recent completed works including 'Odometry and IMU Fusion for Pose Estimation' and 'Evaluation Framework for End-to-End Analysis'. He has served in various organizational roles for major conferences including Publicity Co-Chair for RTSS 2025 and Publicity Chair for ECRTS 2025. His service to the community extends to editorial roles for journals including Real-Time Systems Journal and ACM Transactions on Embedded Computing Systems.

Under Günzel's supervision, the research group maintains important open-source tools including SSSEvaluation (Evaluation Framework for Schedulability of Self-Suspending Tasks) and E2EEvaluation (Evaluation Framework for End-to-End Latency of Cause-Effect Chains), which have been adopted by researchers worldwide. He is also involved in collaborative projects with institutions including Scuola Superiore Sant'Anna in Pisa (planned research stay Feb-Apr 2025) and Eindhoven University of Technology.