TCS @ Liverpool is a community of researchers in Liverpool working on theoretical computer science, broadly construed.
With members from the Department of Computer Science and the Leverhulme Research Centre for Functional Materials Design, and the Networks Sciences & Technologies Initiative of University of Liverpool, we are one of the largest group of foundational computer science research in the UK.

Latest News

30 Oct 2023 The paper “Model Checking Strategies from Synthesis Over Finite Traces” has won the Best Paper Award at ATVA 2023. Congratulations to TCS@Liverpool researcher Yong Li and coathors Suguman Bansal, Lucas Martinelli Tabajara, Moshe Y. Vardi, and Andrew Wells.
18 Sep 2023 Congratulations to Sebastian Wild for his newly awarded EPSRC NIA grant “Computing over Compressed Graph-Structured Data”.
18 Sep 2023 Congratulations to Patrick Totzke (PI), Qiyi Tang and Sven Schewe (CIs) on their upcoming EPSRC grant on “Games for Good”.
5 Sep 2023 The Department of Computer Science is advertising 4 positions at Lecturer/SL level. Closing date is 15 October 2023.
28 Jul 2023 New opportunity for early career researchers: The University of Liverpool Research Fellowships provide funding to join us for five years. Apply by October 1st, 2023!
6 Jul 2023 Paper Optimality Guarantees for Crystal Structure Prediction coauthored by TCS staff Vladimir Gusev, Duncan Adamson, Piotr Krysta, Igor Potapov, and Paul Spirakis appeared in the journal Nature (University news item).

See here for more news items.