Research

TCS @ Liverpool covers all areas of theoretical computer science:

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	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).
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).

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).