My Research

My research focusses on hybrid systems verification and more specifically 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. I am interested in applying my experience on hybrid systems or more general set-based computations in other fields as well, e.g., controller verification & synthesis.

My Story

I am a formal verification engineer at Apple in the Silicon Engineering Group (SEG).

Previously, I was 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. I also 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.

Before that, my passion for computers drove me to study computer science at RWTH Aachen University. Since then I am continuously fascinated about the numerous flavors computer science has to offer where each single facet of this vast field offers lifetimes of research and discoveries to be done.

My Education

  • 2021 Postdoctoral researcher at TU Wien
  • 2020 Postdoctoral researcher at RWTH Aachen University and WWU Münster
  • 2019 PhD in Computer Science @RWTH Aachen University
  • 2013 Masters degree in Computer Science @RWTH Aachen University