Elke Ohlenforst

Elke Ohlenforst is a Researcher at the RWTH Aachen University, affiliated with the Department of Computer Science and the Lehr- und Forschungsgebiet (LuFG) i2, focusing on the Theory of Hybrid Systems. She is part of the MOVES research group, contributing to advancements in formal methods and probabilistic systems analysis. Her work has been highlighted in recent publications at conferences such as CONCUR and STTT, addressing topics like parametric probabilistic automata and MDP model checking algorithms.

Elke's research interests span hybrid systems, formal verification techniques, and automated deductive verification. Her group’s activities reflect a commitment to bridging theoretical foundations with practical applications in concurrency and probabilistic systems.

Contact details include her office at Room 4213, Ahornstraße 55, Aachen, and she can be reached via email at ohlenforst@cs.rwth-aachen.de or phone: +49 241 80 21201.