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
Data and Knowledge
Human Centred Computing
Programming Languages
INNOVATION
Changing society through research
Quantum
Security
Systems

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.