Successful acquisition of third-party funding: Young scientist from Dortmund launches his own project

Dr. Mario Günzel, a young scientist from Dortmund, has been successful in acquiring third-party funding and has secured his own project management position for the "Property-Based End-to-End Analysis of Cause-Effect Chains" (PEACH) project. In this project, he is investigating the time behavior of cause-effect chains in real-time systems, which play a central role in various areas such as medical technology, automotive engineering and industrial production.

What is particularly noteworthy is that the young scientist is gaining scientific independence at an early stage and has the opportunity to devote himself fully to basic research without any teaching commitments. The project also includes a student assistant position and is framed by collaborations with renowned experts from Germany and abroad, including Dr. Björn B. Brandenburg from the Max Planck Institute in Kaiserslautern and Dr. Matthias Becker from the KTH Royal Institute of Technology in Stockholm.

The project focuses on the development of methods for analyzing chains that include both monotonicity and dominance relations in relation to latencies, as well as the improvement of probabilistic analyses for real system conditions. Another component of the project is the provision of an open-source toolbox that makes the developed methods accessible to the scientific community.

This funding not only represents an important step in the young scientist's scientific career, but also a significant contribution to the further development of analysis tools for complex real-time systems.