TCS @ Liverpool covers all areas of theoretical computer science:

  • algorithms and data structures
  • automata/logic
  • complexity theory
  • game theory and computational social choice
  • verification

Current Research Funding

EPSRC Games for Good
Responsive mode (Jan 2024 – Dec 2026)
Contacts: Patrick Totzke (PI), Qiyi Tang (CI) and Sven Schewe (CI).
EPSRC Computing over Compressed Graph-Structured Data
New Investigator Award (Dec 2023 – Dec 2026)
Contacts: Sebastian Wild (PI)
EPSRC The Next Generation of Hardness Results in Total Search
Standard (Sep 2022 – Aug 2025)
Contacts: John Fearnley (PI) and Rahul Savani (co-PI).
EPSRC Algebraic complexity theory via the algebraic geometry and representation theory of generalised continued fractions
Standard (Apr 2022 – Mar 2025)
Contacts: Christian Ikenmeyer (PI) and Purnata Ghosal (PDRA).

Past Funding

EPSRC Below the Branches of Universal Trees
New Horizons (Dec 2022 – May 2024)
Contacts: Sven Schewe (PI), Daniele Dell'Erba (CI), Patrick Totzke (CI) and Dominik Wojtczak (CI).
European Commission Synthesising Game Solving Techniques
Marie Skłodowska-Curie Actions (Jul 2021 – Jun 2023)
Contacts: Sven Schewe (PI) and Daniele Dell'Erba (Fellow).
Royal Society Unambiguity in Infinite-state Systems
International Exchanges (Mar 2021 – Mar 2023)
Contacts: Patrick Totzke (PI), Filip Mazowiecki (CI) and Georg Zetzsche (CI).
Royal Society Lazy Finger Search Trees
International Exchanges (Mar 2021 – Mar 2022)
Contacts: Sebastian Wild (PI) and Kostas Tsichlas (CI).
EPSRC COSTRA – The Cost of Winning Strategies
New Investigator Award (Feb 2021 – Jan 2024)
Contacts: Patrick Totzke (PI) and Sougata Bose (PDRA).
European Commission Foundations of Composition
Marie Skłodowska-Curie Actions (Aug 2020 – Jan 2021)
Contacts: Sven Schewe (PI) and Karoliina Lehtinen (Fellow).