Patrick Totzke

Patrick Totzke is a Professor in the Department of Computer Science at the University of Liverpool’s School of Electrical Engineering, Electronics and Computer Science. As a leading researcher at the intersection of mathematics and computer science, he specializes in the foundations of formal verification, algorithmic game theory, and infinite-state systems.

Education: While specific degrees are not listed, his expertise and role as Professor strongly suggest advanced graduate training in computer science and mathematics.

Research Interests:

• Algorithmic game theory, particularly strategy complexity and games on infinite graphs
• Decidability and complexity of verification problems such as bisimulation, 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 including timed automata, timed Petri nets, and timed games

His recent focus centers on timed automata and stochastic games on graphs.

Research Grants:

• Below the Branches of Universal Trees – EPSRC (March 2023 – August 2024)
• Unambiguity in Infinite-state Systems – Royal Society (March 2021 – March 2023)
• COSTRA: The Cost of Winning Strategies – EPSRC (July 2021 – September 2024)

Teaching: Module Co-ordinator for COMP122 Object-Oriented Programming (2024–25).

Labs & Teams: While no specific lab names are provided, his grants and publications indicate active leadership of research teams in formal methods and verification.