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 just nuked my website by accident… So I will have to set it up again. What a chance for a fresh start.