Welcome

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 :’)