Skip to main content Skip to navigation



Adaptivity and Personalisation

Innovative software technologies for areas including the social and semantic web and human-computer interaction.

AI-Driven Resilience

Developing scalable AI-driven techniques for resilient large-scale resource-constrained systems.

Algorithmic aspects of Game Theory and Economics

Algorithmic aspects of Game Theory and Economics

Approximation Algorithms

Approximation Algorithms

Automata and Formal Languages

Automata and Formal Languages


Business & Internet Computing

Investigating and improving the performance of transactional and multi-tier applications in both dedicated and virtual environments.


Communication Networks & Data Science

Development of models and techniques to better understand and engineer communication networks; research in data science, including collection, mining, privacy and analytics.

Computational Complexity

Computational Complexity

Computational Neuroscience

Computational modelling for neuroscience, with a wide range of interests including molecular (LTP, LTD, hormone), neuron (abstract and biophysic), neuronal networks and behavioural (motor control).

Computational Pathology

Developing the next-generation of AI based technologies for the analysis of pathology image data, with applications to computer-assisted diagnosis and grading of cancer and image-based markers for prediction of disease outcome and survival.

Computer Science Education
Understanding the pedagogy of computing in Higher Education.
Cryptography and Quantum Computing

Cryptography and Quantum Computing


Data Analytics & Data Mining

Data Analytics, Approximate Query Answers, Data Mining and Knowledge Discovery;

Data Management and Engineering

Data wrangling, cleaning, modeling, storing, querying and updating; SQL, NoSQL, NewSQL Database Systems.

Data Science Applications

Data Science for Science; Data Science for Social Good; Urban Analytics; Natural Language Processing and Understanding; Data security, privacy, and ethics

Deep Learning for Imaging Data

Developing coding methods for images and video for efficient compression and minimum visual distortion, and developing privacy preserving deep learning models for imaging data.

Digital Forensics

Computational methods for forensic problems and cybercrime, including new approaches to machine learning, data mining, image analysis and criminal network inference.

Discrete Mathematics, Combinatorics, and their applications

Discrete Mathematics, Combinatorics, and their applications


Educational Technology

The use of software tools to support the learning and teaching process.

Ethics and Social Shaping of AI

Investigating ethical challenges and risks posed by adoption of AI in different sectors and how responses to them are influenced by the interests of various stakeholders, including businesses, users and policy-makers.

Explainable Artificial Intelligence

Investigating techniques to capture the context behind a given action or decision by an AI system, and generate human-directed rationale and explanation.


Fault Tolerant & Reliable Systems

Specialising in the development, combination and application of theoretical and experimental approaches to the design and evaluation of dependable systems.

Investigating and improving the performance of transactional and multi-tier applications in both dedicated and virtual environments.


Graph and Network Algorithms

Graph and Network Algorithms


Health Informatics

Applications of digital devices and systems for healthcare, co-production of usable and effective solutions.

High Performance & Scientific Computing

The development of techniques to analyse, predict and optimise the performance of large-scale HPC codes and architectures to peta-scale and beyond.


Intelligent Connected Vehicles

Developing AI techniques for connected vehicles, including intelligent data compression, occupant monitoring, pattern-of-life prediction and investigating the psychological aspects of human-autonomous vehicle interactions.

Intelligent Cyber-Physical Systems

Developing novel sensing, learning and actuation approaches for intelligent cyber-physical systems, and investigating on-device AI to run efficiently on mobile devices, wearables, and IoT.

Intelligent & Distributed Systems

Creating algorithms for intelligent systems, knowledge management, wide area networking, peer-to-peer computing and adaptive communication systems.

Intelligent Systems Modelling

Developing scalable and accurate models for dynamic systems and networks.


Logic and Games

Logic and Games


Multi-Agent Reinforcement Learning

Design and analysis of reinforcement learning algorithms with tight performance guarantees, and investigation of multi-agent reinforcement algorithms.

Multi-Agent Systems

Developing trust, reputation, normative and biologically inspired techniques for establishing, managing and influencing cooperation while coping with sparsity of information, malicious agents, lack of reciprocity and dynamism in large-scale distributed systems.

Multimedia Processing and Computer Vision

Computational techniques associated with visual and audio media, from video compression to medical image processing.


Online and Dynamic Algorithms

Online and Dynamic Algorithms


Parallel and Distributed Algorithms

Parallel and Distributed Algorithms

Parameterized Complexity and Structural Graph Theory

Parameterized Complexity and Structural Graph Theory


Random Structures and Randomized Algorithms,

Random Structures and Randomized Algorithms


Smart Cities

Harnessing digital technologies for the generation, collection and analysis of data for the study of urban environments. Our work is a collaboration with Warwick Institute for the Science of Cities.

Social Informatics

Inter-disciplinary studies of factors that shape adoption and use of information and communication technologies.

Social Media Analytics

Innovative, scalable computational content and network-based techniques for social media analysis.

Software Tools

Research into software tools for profiling, debugging and program optimisation, examples of which are now sold commercially through department spin-out companies.

Statistical/ Machine Learning

Statistical/Machine Learning models and algorithms for prediction and inference;

Strategic Artificial Intelligence

Use of game-theoretic techniques for constructing rational agents and the regulation of online interaction (e.g., matching, fair division, manipulation avoidance), including mechanism design.

String Algorithms

String Algorithms

Sublinear and Streaming Algorithms

Sublinear and Streaming Algorithms

Systems and Synthetic Biology

Includes research on computational methods to better understand populations of cells, studies of the variations on the expression of genes and, using the knowledge of cells for cell modification and creation.