Erika Ábrahám is a Full Professor at RWTH Aachen University , Germany, leading the Theory of Hybrid Systems research group. Her academic journey includes positions as a Junior Professor (2008-2013) and postdoctoral researcher at institutions like Jülich Research Centre and Albert-Ludwigs-University Freiburg. Her research interests span formal methods, SMT solving, hybrid systems verification, and probabilistic systems. She has contributed to symbolic computation, railway timetables, and probabilistic hyperproperties, with recent work focusing on cylindrical algebraic decomposition, conflict-driven search algorithms, and stochastic modeling. Scientific contributions include 15+ articles (2021-2025) on topics like probabilistic hyperproperties , hybrid automata , and symbolic arithmetic , often published in LNCS, Springer, and Elsevier venues. She has collaborated on tools like HyPro and SMT-RAT, and edited proceedings for conferences including NASA Formal Methods and QEST.









