Nils Lommen

Research Assistant and PhD Student

RWTH Aachen | Office: Room 4208 at Ahornstraße 55 | Phone: 80-21214

Home | Nils Lommen

I have been a research assistant and PhD student in the Research Group Computer Science “Pro­gram­ming 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).