Theoretical Computer Science


Queen Mary is a world-leading centre for research on logical methods for reasoning about computer systems. Our work has spearheaded several developments – separation logic, logic for continuous systems, information theory for security, process types for web services, game semantics for programming languages – in which novel theoretical developments by us have been brought to bear in new application areas. We have also made fundamental contributions in pure logic (model theory, proof theory, categorical semantics) and in complexity theory.

In the last few years we have been awarded about £8m in research funding, supporting a thriving intellectual community. This includes an EPSRC "platform grant" (awarded to leading research groups in the UK to underpin their strategic development), and two EPSRC "programme grants" (a flexible mechanism for providing funding to address significant major research challenges, in research programmes of up to six years).

Come and visit us! (see directions here)

Theoretical Computer Science @ Queen Mary, University of London