Research

Research plays an important role in the life of the Department, and members of the Department are well known internationally for their ongoing contributions to the theory and practice of Computing. This has consistently been recognised in research assessment exercises over a number of years.
Following a Grade 5 RAE rating in 2001, 75% of the Department's research activity was judged as 3* or 4* in the 2008 REF, rising to 97% in 2014. This was the highest proportion of world-leading or internationally excellent output of any CS department in the UK.

A summary of our research and its applications can be found in our research brochure.

Key Research Groups

Research is focused around four main research themes:

Algorithms and Networks	Artificial Intelligence
Economics and Computation	Logical Methods in Computer Science

There are a number of specialised research groups, many of which span the themes above:

Algorithms, Complexity Theory and Optimisation	Algorithmic Game Theory
Knowledge Representation	Machine Learning
Networks and Distributed Computing	Robotics and Autonomous Systems
Verification

Research is supported by a mixture of European, National, and industrial funding, providing a balanced portfolio of activity that feeds back into the teaching and other professional activities in the Department.