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.

You can contact me at kevin@kappelmann.me.

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