The School of Computer Science offers high-quality supervision from world-leading academics for research degrees.
We provide you with the opportunity to work in both research and development. Our PhD programme is an excellent route for conducting world-class and high-impact scientific research in computer science.
The school's research activity centres around the following research groups:
The Agents Lab group conducts research that spans the specification, design and implementation of agent-based systems, including logic and theory for agents, agents architecture, verification of multiagent systems, synthesis of provably correct agent programs, and the application of agents in simulation and virtual environments.
Automated Scheduling, Optimisation and Planning
group conducts research on optimisation for enabling decision support systems, research at the interplay between optimisation and artificial intelligence for modelling complexity and uncertainty as well as developing intelligent systems, as well as research on machine learning and data mining for knowledge discovery.
Computer Vision Laboratory
The CVL group conducts research to develop human-like computer vision capability developing a range of techniques for extracting quantitative descriptions of viewed objects from a variety of images and image sequences, while engaging with other disciplines like biosciences, medicine, engineering, etc.
Functional Programming Laboratory
The FPL group conducts research on the formal specification and verification of computer programs with emphasis on functional programming languages such as Haskell and Agda, by means of a range of techniques such as category theory, compiler correctness, declarative debugging, reactive programming, mathematical logic, type theory, etc.
Intelligent Modelling and Analysis
The IMA group conducts research on inter-disciplinary end-to-end data modelling and analysis through a range of techniques including data mining, bio-inspired algorithms, agent-based simulation and fuzzy systems, emphasis on biomedical informatics, security, energy management and digital economy applications.
Mixed Reality Laboratory
The MRL group conducts research that is user-centred to develop interactive technologies to enhance everyday life, research focus is on human-computer interaction with an approach that is both interdisciplinary (linking to the Social Sciences and Humanities) and intra-disciplinary (with areas such as Distributed Systems, AI, Vision and Formal Methods).
Data Driven Algorithms, Systems and Design (DAS)
The DAS group conducts research on data science by developing machine learning and data mining algorithms and adopting principles of user-centred design to maximize the synergy between human intelligence and cyber-physical systems.
Lab for Uncertainty in Data and Decision Making (LUCID)
The Lab for Uncertainty in Data and Decision Making is interested in the capturing, modelling and reasoning with uncertain data in a decision support context. We have a significant strength in fuzzy logic and are known for our work on non standard fuzzy sets such as type-2 fuzzy sets, non stationary fuzzy sets, intuitionistic fuzzy sets and rough sets.
Our eight research groups which are tackling difficult real-world problems that often have high impact on industry, commerce and the public. We believe in a shared ethos of 'computing in the world', in which fundamental advances in computer science are connected to knowledge and methods from other disciplines to enable collaborations with research users in diverse sectors.
Benefit from our interdisciplinary links with other schools in the Faculty of Science and departments in the Faculty of Engineering
Choose from a range of diverse topics spanning theoretical and applied computer science
Enjoy our links with campuses in China and Malaysia, with opportunities to travel to complete projects
Be part of a top ten school in the UK for ‘research power’ according to the Research Excellence Framework, 2014