My name is Kevin Kappelmann, and I am currently a software developer for Amazon/IMDb in Bristol.
Before moving to Bristol, I did my Masters 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.