I am PhD student at the Chair for Logic and Verification supervised by Prof. Nipkow. My interests are the semantics of programming languages, the foundations and interoperability of theorem provers, and the formalisation and automation of mathematics using interactive theorem provers like Isabelle.

Office: MI 00.09.061
Phone: +49 (89) 289 - 17330
Address: Kevin Kappelmann
TUM Lehrstuhl 21
Boltzmannstr. 3
85748 Garching
ORCID: 0000-0003-1421-6497

Before starting my PhD, I was a research assistant at VU Amsterdam working on the Lean Forward project. I did my Masters in Mathematics and Foundations of Computer Science at the University of Oxford and my Bachelors in Computer Science at the TU Munich. I also worked as a software development engineer at Amazon/IMDb. You can find my detailed CV here. I also have a personal website, but besides some old teaching material, there's not much on it (yet).