My current research focus is on formal verification, particularly of infinite-state systems. The overarching goal is to enable the development of more robust systems. For example, verification can help developers ensure a system meets specifications before, during, and after deployment, even if these specifications are hard to check manually or by testing.
Personally, I also have interests in the Internet-of-Things and artificial intelligence.
I got my Bachelor’s (2018) and Master’s (2019) in Informatics from the Technical University of Munich, and I was part of the PaVeS research group as a student assistant. My master’s thesis was supervised by Christoph Welzel.
|Apr 2, 2021||A paper was accepted at LICS 2021: Continuous One Counter Automata (with Michael Blondin, Tim Leys, Filip Mazowiecki and Guillermo Alberto Perez). The preprint is on arXiv.|
|Dec 23, 2020||A paper was accepted at TACAS21: Directed Reachability for Infinite-State Systems (with Michael Blondin and Christoph Haase). arXiv version with appendix, artifact on figshare.|
|Sep 1, 2020||I began my period as a visiting student at the Max Planck Institute for Software Systems in Saarbrücken, where I am happy to be part of the research group led by Filip Mazowiecki.|
|Jan 6, 2020||I started my Ph.D. in Sherbrooke, Canada!|
|Oct 15, 2019||I handed in my master’s thesis, titled Approaching Safety for Parameterized Systems via View Abstraction.|