Department of Computer Science


The algorithms research area studies the paradigms and principles of computation.

Our research seeks to establish new mathematical and algorithmic principles by which computation can be efficiently harnessed and understood, such as the introduction of techniques from higher algebra to algorithm design both in the centralised and distributed settings. Key objects of study are representations of information and automated reasoning with the ambition of automating the design and analysis of lower-level algorithmic primitives. We chart the power and the limits of efficient computation in both current and novel computing paradigms, ranging from adversarially fault-tolerant distributed computing to algorithmic biochemistry.

Read more
  • Published:
  • Updated:
URL copied!