Kevin Kappelmann

Academic Information

You can find my detailed CV here, including my list of publications. Below, you can find a short summary:

I am PhD student at the Chair for Logic and Verification supervised by Prof. Nipkow. My interests are the semantics and foundations of programming languages and interactive theorem provers as well as automated theorem proving. In my PhD project, I investigate reasoning methods for interactive theorem provers (program and theorem transport across equivalences, soft types, general-purpose automation) and implement my ideas in Isabelle.

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.

Here is my ORCID: 0000-0003-1421-6497.

Contact