Skip to main content

Research

Research at the Department of Computer Science is classified into ten broad themes

Algorithms and Complexity Theory
Artificial Intelligence and Machine Learning
Automated Verification
INSPIRED RESEARCH
Twice-yearly newsletter
Computational Biology and Health Informatics
Cyber Physical Systems
Foundations, Structures, and Quantum
Human Centred Computing
INNOVATION
Changing society through research
Information Systems
Programming Languages
Security

Projects

Search the Publications Database

Please enter a search term. You can narrow your search using the dropdown menu. The records of technical reports start from 2003 and monographs start from 1970.