Glossary
| J (no definitions) | K (no definitions) | |||||||||||
| Q (no definitions) | T (no definitions) | U (no definitions) | V (no definitions) | W (no definitions) | X (no definitions) | Y (no definitions) | Z (no definitions) |
A
- 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
B
- Business & Internet Computing
Investigating and improving the performance of transactional and multi-tier applications in both dedicated and virtual environments.
C
- 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
D
- 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
E
- Educational Technology
The development and use of software tools to support the learning and teaching process.
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.
F
- 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.
G
- Graph and Network Algorithms
Graph and Network Algorithms
H
- 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.
I
- 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.
L
- Logic and Games
Logic and Games
M
- 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.
N
- Natural Language Processing
Developing computational techniques for the understanding of human languages.
O
- Online and Dynamic Algorithms
Online and Dynamic Algorithms
P
- Parallel and Distributed Algorithms
Parallel and Distributed Algorithms
- Parameterized Complexity and Structural Graph Theory
Parameterized Complexity and Structural Graph Theory
R
- Random Structures and Randomized Algorithms,
Random Structures and Randomized Algorithms
S
- 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.
Inter-disciplinary studies of factors that shape adoption and use of information and communication technologies.
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.