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

18 Apr 2024 5 Papers accepted at ICALP/LICS/FSCD! Congrats to Viktor Zamarev, John Sylvester, Tony Tan, David Purser, Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke, John Fearnley, Spencer Gordon, and Rahul Savani! In addition, members of our department organise Algorithmic Aspects of Temporal Graphs, a collocated workshop.
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!

See here for more news items.