Patrick Totzke

Lecturer in Computer Science, University of Liverpool, UK

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 TCS 4 Future brillant button initiative.


email totzke[ät]
Get my gpg key here.
address Department of Computer Science
University of Liverpool
Liverpool, L69 3BX, UK
office Ashton 3.19


Nov 24, 2021 Together with János Flesch and Arkadi Predtetchinski I will host the workshop on Trends in Graph and Stochastic Games in Maastricht next April.
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!
Apr 1, 2021 Together with Paul Bell I am PC co-chair for Reachability Problems (RP’21).
Mar 29, 2021 Excited to host this year’s British Colloquium for Theoretical Computer Science (BCTCS) on March 29–31. Check out our website for details.
Mar 3, 2021 Funding success: together with Filip Mazowiecki and Georg Zetzsche (MPI-SWS) we are supported by a Royal Society International Exchanges grant to study Unambiguity in Infinite-state Systems.
Feb 18, 2021 I am looking for a postdoc! The position is available for 3 years starting in May 2021 (flexible). Application deadline is 21-03-2021. Details here.