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
15 Apr 2025 | The Department of Computer Science is organising the 4th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2025), which will be held from June 9-11 at Novotel Liverpool Paddington Village. |
---|---|
4 Oct 2024 | Two papers accepted at SODA’25! Congrats to Joachim Spoerhase and his co-authors. |
15 Sep 2024 | TCS@Liverpool is pleased to welcome several new colleagues this summer: Daniel Hausmann, Anish Mukherjee, Lutz Oettershagen, William Rosenbaum, Joachim Spoerhase, Karteek Sreenivasaiah and Shufang Zhu. |
2 Sep 2024 | The paper “On the Exponential Growth of Geometric Shapes” has won the Best Student Paper Award at ALGOWIN 2024. Congratulations to TCS@Liverpool PhD student Nada Almalki, her supervisor and coauthor Othon Michail, and coauthor Siddharth Gupta! |
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. |
See here for more news items.