I am a university assistant at TU Wien in the Cyber Physical Systems Research Group led by Univ. Prof. Radu Grosu and part of the group led by Univ. Prof. Ezio Bartocci. Previously, I was a postdoctoral researcher at WWU Münster, in the group AG Sicherheitskritische Systeme led by Prof. Dr. Anne Remke and earlier 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. I am developing and maintaining the C++ programming library HyPro, a library for state set representations for the analysis of 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



Post doc

TU Wien

Mar 2021 – Present Austria
  • Teaching: GPU-based Computations
  • Research: Verification of Neural Networks

Post doc

WWU Münster

Aug 2020 – Feb 2021 Germany
  • Teaching: Quantitative Model Checking
  • Research: Analysis of Stochastic Hybrid Systems

Post doc

RWTH Aachen University

Oct 2019 – Jul 2020 Germany
  • Teaching: Modelling and Analysis of Hybrid Systems
  • Research: Analysis of Hybrid Systems
  • Project: industrial project with Ford Motor Company



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