Patrick Totzke

Hey there! I am a member of the verification group at the Department of Computer science, the University of Liverpool.

email totzke[ät]
address Department of Computer Science
University of Liverpool
Liverpool, L69 3BX, UK
office Ashton 3.19
phone +44 151 795 4256


I work at the intersection of maths and computer science and specialise on the development of logic, games and verification techniques for concurrent, distributed, real-time and generally infinite-state systems. In particular, I am interested in

  • Algorithmic game theory, especially strategy complexity, games and MDPs on countably infinite graphs
  • Decidability and complexity of verification problems such as (bi)simulation and language inclusion; model checking and synthesis
  • Counter automata, vector addition systems / Petri nets and process algebras
  • Computational logics with fixed-points, temporal or probabilistic modalities and associated games
  • Real-time systems: timed automata and languages, timed Petri nets and timed games

My research is supported by the EPSRC and the Royal Society. My publications are available here and via the dblp.

short bio

Before joining Liverpool as a lecturer in 2018 I did postdocs at the LFCS in Edinburgh (from 2016) 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 TCS 4 Future brillant button initiative.


Jul 1, 2022 A warm welcome to Peter Austin who starts a PhD with me today!
Jun 29, 2022 I am CI on the upcoming EPSRC project Under the Branches of Universal Trees with Sven Schewe (PI), Daniele Dell’Erba and Dominik Wojtczak (CIs). We are looking to fill a post-doc position!
Jun 27, 2022 I am attending HIGHTLIGHTS and ICALP and (virtually) CONCUR this year.
Apr 29, 2022 Together with Rahul Savani I’ve won a competitive “Learning & Teaching and Student Experience Award” for our work on assessment and feedback for coding assignments. Check out my slides slides for the showcase talk.
Apr 7, 2022 Together with János Flesch and Arkadi Predtetchinski I will host the workshop on Trends in Graph and Stochastic Games in Maastricht.
Jul 1, 2021 A warm welcome to Sougata Bose who starts his postdoc with me today!
May 11, 2021 I’m shortlisted for the 2021 “Teacher of the Year” award in Science and Engineering by the Liverpool Guild of Students. Many thanks for the nomination and congrats to all winners!