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 soft type foundations for interactive theorem provers and implement my ideas in Isabelle.
See my academic website for more information: https://www21.in.tum.de/~kappelmk/