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	The Next Generation of Hardness Results in Total Search Standard (Sep 2022 – Aug 2025) Contacts: John Fearnley (PI) and Rahul Savani (co-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	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).