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
office hour Meet me Tuesdays between 10-11am


I work at the intersection of maths and computer science and specialise on foundations of formal verification. 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 work is available here and via the dblp.

postdocs and students

  • Di-De Yen (Postdoc, starting in 2024) History-determinism, Games
  • Sougata Bose (Postdoc, since 2020) Verification games, Strategy complexity
  • Pete Austin (PhD student, since 2022, 80:20 with Sven Schewe) Games on Temporal Graphs
  • Manolis Pitsikalis (PhD student, 2020–2023, 40:60 with Alexei Lisitsa) Event processing and Temporal Logics for maritime applications
  • Thomas Welsch (PhD student, 2020–2023, 40:60 with Vitaliy Kurlin)

short bio

As of 2022, I am a senior lecturer at the department of Computer Science, University of Liverpool. I joined Liverpool as a lecturer in 2018 and before that 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.


Feb 24, 2024 I am on the PC of GandALF (International Symposium on Games, Automata, Logics, and Formal Verification) 2024.
Jan 18, 2024 I will serve on the PC of FoSSaCS (Foundations of Software Science and Computation Structures) in 2025.
Dec 21, 2023 Our paper on Parity Games on Temporal Graphs has been accepted at FoSSaCS’24.
Dec 5, 2023 I will act as publicity chair for the forthcoming and newly joined conference(s) QEST+FORMATS’24.
Sep 18, 2023 I am attending INFINITY and CONCUR this year. Meet you in Antwerp?
Sep 11, 2023 Starting in ‘24, I will be PI on the new EPSRC project Games for Good with Sven Schewe and Qiyi Tang (CIs).
Mar 6, 2023 I am on the PC of TIME’23 (International Symposium on Temporal Representation and Reasoning).