Research

TCS @ Liverpool covers all areas of theoretical computer science:

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

Current Research Funding

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).
Deutsche Forschungsgemeinschaft Geometric Complexity Theory
Individual Grant (Aug 2019 – Jul 2022)
Contacts: Christian Ikenmeyer (PI) and Purnata Ghosal (PDRA).

Past Funding

European Commission Foundations of Composition
Marie Skłodowska-Curie Actions (Aug 2020 – Jan 2021)
Contacts: Sven Schewe (PI) and Karoliina Lehtinen (Fellow).