I am a Ph.D. student at the Université de Sherbrooke and the Max Planck Institute for Software Systems in Saarbrücken, under co-supervision by Michael Blondin and Filip Mazowiecki.

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.