معرفی
Jonas Stübbe is a PhD Student and Research Associate at the University of Münster, affiliated with the Safety-critical Systems Group led by Prof. Dr. Anne Remke. His research focuses on stochastic hybrid systems, formal verification, and Monte-Carlo methods, with notable contributions including the RealySt tool for optimizing reachability probabilities. He holds a position in Room 201a at Einsteinstr. 62, Münster, and can be contacted at jonas.stuebbe@uni-muenster.de.
Teaching responsibilities include leading the 'Discrete Structures' lecture and its exercise sessions since 2023, as well as contributing to courses like 'Modeling and Analysis of Dynamic Systems' and 'Computer Networks and Their Performance'. His work bridges theoretical computer science with practical tool development, emphasizing safety-critical system analysis.
Key contributions include publications in Performance Evaluation Methodologies and Tools (Springer LNCS series) and ongoing research in stochastic system modeling. Collaborations with peers like Joanna Delicaris and Stefan Schupp highlight his active participation in interdisciplinary projects.
