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.
- 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