I have been a research assistant and PhD student in the Research Group Computer Science “Programming Languages and Verification” headed by Professor Jürgen Giesl since October 2021.
My research focuses on theoretical computer science: I’m interested in automated reasoning and verification of programs. In particular, I work on (automated) termination and complexity analysis of (integer) programs. I’m one of the main developers of the (automatic) complexity analysis tool KoAT which is used in the Automated Program Verification Environment (AProVE).