Patrick Totzke

Hey there! I am a theoretical computer scientist by day, currently based in sunny Edinburgh.

I am interested in all things logics, automata and game theory, and everything else related to computer-aided verification. I tend to work on infinite-state models of computation.

Selected Publications

A full list is available here and on the dblp.