Patrick Totzke


Hey there! I am a Professor at the Department of Computer science, the University of Liverpool.
University of Liverpool
Liverpool, L69 3BX, UK
research
I work at the intersection of maths and computer science and specialize in the foundations of verification and computation. My interests include
- Algorithmic game theory, especially strategy complexity and infinitary games and MDPs on graphs;
- Decidability and complexity of verification problems such as (bi)simulation, 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.
- Time-sensitive models: timed automata and languages, timed nets and games, and temporal graphs.
See here and the dblp for my published outputs. My work is generously supported by the EPSRC and the European Commission.
short bio
As of 2024, I am a full professor (personal chair) at the 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 initiative.
news
May 30, 2025 | Two papers 1, 2 accepted for publication at CONCUR, and one at EC (Economics and Computation). |
---|---|
Apr 02, 2025 | Teaching: We were featured in a promotional case study for CodeGrade. |
Mar 24, 2025 | I will act as PC chair for the International Conference on Concurrency Theory (CONCUR) in 2026. |
Mar 02, 2025 | Our group will host CONFEST’26 in Liverpool. Together with David Purser, Shufang Zhu, and Daniel Hausmann, I will organize this umbrella event, including the three main conferences CONCUR, FMICS, QEST+FORMATS, and affiliated workshops. |
Feb 10, 2025 | We welcome Henry Sinclair-Banks (Warsaw), who is visiting us this week. |
Feb 10, 2025 | Funding: The European Commission has confirmed forthcoming support for our Horizon Europe project Quantum Synthesis, on PFA, QFA and Games. The Marie Skłodowska-Curie Action will support Di-De Yen (Fellow) and myself (PI) for 24 months. Congratulations! |