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 two main areas of research, each containing a number of more detailed specialities:

Algorithms Section	Artificial Intelligence Section
Algorithms, Complexity Theory and Optimisation	Argumentation and Represenation of Knowledge
Economics and Computation	Data Mining and 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.