معرفی
Mathis Niehage is a Researcher and PhD Student at the University of Münster, affiliated with the Safety-Critical Systems group led by Prof. Dr. Anne Remke. His research focuses on hybrid systems analysis, simulation tools for stochastic hybrid Petri nets (HYPEG), and reinforcement learning applications. He holds a position in Room 201 and can be reached at mathis.niehage@uni-münster.de.
Research Interests:
- Development of HYPEG, a Java library for simulating hybrid systems with random variables
- Extensions of hybrid Petri nets with general transitions
- Integration of reinforcement learning in stochastic hybrid systems
- Nondeterminism resolution using optimizing schedulers
Teaching Contributions:
- Winter 2024/25: Programming in Java
- Summer 2024: Modeling with Automata and Probabilities
- Winter 2023/24: Capstone Project on Malware and Botnets
- Previously taught courses on functional programming, model checking, and compiler construction
Key Publications (2018–2025):
Niehage has contributed to seminal works on hybrid system simulation, stochastic modeling, and formal verification. His research bridges symbolic state-space exploration with statistical model checking, advancing methodologies for optimal decision-making in uncertain environments.
Awards:
- 2023 Best Paper Award from the European Alliance for Innovation (EAI)
Labs/Teams:
Member of the Safety-Critical Systems group, collaborating on projects involving hybrid systems dependability and formal verification techniques.
