Hi! My name is Kevin Kappelmann and I am a bit of an interactive theorem proving geek and passionate about teaching mathematics and computer science. I am currently a a PhD student at Tobias Nipkow's chair at TU Munich. Before that, I was a research assistant at VU Amsterdam working on the Lean Forward project. I also worked as a software development engineer at Amazon/IMDb, 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.

Contact: kevin@kappelmann.me
PGP-key available here.
Fingerprint: CD72 A4AA 2D7E 702A EF23 3E21 BEDF 9AAE C480 2C28

Bonus: Some quotes that I like.