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 | 4 Papers accepted at ICALP/LICS/FSCD! Congrats to Viktor Zamarev, John Sylvester, 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.