Hey, this is my – Kevin Kappelmann’s – website. I am a PhD student in logic and verification at TU Munich. I am interested in logic, automated and interactive theorem proving, philosophy, and progressive activism.

I nuked my website by accident a while ago… So I will have to set it up again, whenever I have some time spare :’)

For academic purposes, refer to my academic website: https://www21.in.tum.de/team/kappelmk/