We are one of the UK's leading centres for research into Computer Science.
The Department has world leading researchers in algorithms and complexity, artificial intelligence, bioinformatics, distributed and global computing, machine learning, software language engineering and type theory. The theories we develop lead to the design and building of novel practical computing systems, and their application in the real world. This is an essential element in validating our theories. It also generates opportunities for collaboration with industry and other institutions.
Our research funding comes from the Engineering and Physical Sciences Research Council, the European Union, the Department of Trade and Industry, the Royal Society, the British Council, the Nuffield Foundation, and from our broad network of industrial and government collaborators. All this creates a vibrant research environment in which research students learn and develop their own research profile under our guidance and supervision.
Centre of Excellence
Our academics have also received prestigious awards:
- Gregory Gutin: Royal Society Wolfson Research Merit Award
- Matthew Hague: EPSRC Early-Career Fellowship Award
- Gregory Gutin: elected as a member of Academia Europaea
- Magnus Wahlström: awarded the 2018 Nerode Prize