My name is Kevin Kappelmann, and I am currently pursuing my master's degree in Mathematics and Foundations of Computer Science at the University of Oxford.

At the moment, this website mostly contains stuff I wrote and taught during my undergraduates at the Technical University of Munich (TUM), but once I will find the time, I will also add other things that I am interested in, namely interactive and automated theorem proving.

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.