Patrick Totzke

Hey there! I am a theoretical computer scientist by day, based in sunny Liverpool. My research is on mathematical models of computation, with the aim of providing formal correctness proofs for computational systems. I’m interested in all things logics, automata, game theory and computer-aided verification. These days, I mostly focus on timed automata and (stochastic) games played on graphs, where we study the complexity of strategies. A list of my publications is available here and on the dblp.

Before joining Liverpool’s Department of Computer science I did postdocs at the LFCS in Edinburgh (2016-2018) and spend a year each at the University of Warwick (2015) and LaBRI in Bordeaux (2014). I hold a PhD from the University of Edinburgh and a diploma (Dipl. Inf.) from the University of Hamburg where I grew up.

In my spare time I attempt to play the trumpet and maintain a healthy appreciation of good whisky. I am overly passionate about free software. I have a ha-index of 80 and happily support the initiative.