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.
Bonus: Some quotes that I like.