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.
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.