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 (see here for slides of a related talk) which is used in the Automated Program Verification Environment (AProVE).