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 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. |
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”. |
See here for more news items.