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 student assistant at VU Amsterdam working on the Lean Forward project. Starting this autumn, I'll do my PhD at Tobias Nipkow's chair at TU Munich. Before that, I 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.
Bonus: Some quotes that I like.