I am a postdoctoral researcher at WWU Münster, more specific in the group AG Sicherheitskritische Systeme led by Prof. Dr. Anne Remke. Before I was a postdoctoral researcher at Theory of hybrid systems led by Prof. Dr. Erika Ábrahám. I did my PhD in this group in 2019, working on the topic of safety verification of hybrid systems. My research in this area focusses on state set representations used in flowpipe-construction-based reachability analysis for linear hybrid systems.


  • Modeling and analysis of hybrid systems
  • Reachability analysis
  • Flowpipe construction
  • Algorithmical geometry
  • SMT solving


  • PhD in Theoretical Computer Science, 2019

    RWTH Aachen University

  • MSc in Computer Science, 2013

    RWTH Aachen University

  • BSc in Computer Science, 2011

    RWTH Aachen University



A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations