I am PhD student at the Chair for Logic and Verification supervised by Prof. Nipkow. My interests are the foundations and interoperability of theorem provers and the formalisation and automation of mathematics using interactive theorem provers like Isabelle.
|Phone:||+49 (89) 289 - 17330|
TUM Lehrstuhl 21
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 below (if you are using a sane desktop browser) or here. I also have a personal website kappelmann.me, but besides some old teaching material, there's not much on it (yet).