Research
Artifical Intelligence research theme
The department is internationally leading in work on Artificial Intelligence and related technologies.
Machine Learning> Natural Language Processing> Speech and Hearing> Visual Computing>
Theory research theme
Algorithms are at the heart of computer science as a subject, and methods for the verification of computer hardware and software are among the great success stories of computer science.
Algorithms> Verification>
Systems research theme
Understanding natural and artificial systems is core to computer science. Our research addresses cybersecurity, systems that underpin health and public safety, and innovative techniques for software testing and quality assurance.
Complex Systems Modelling> Organisations, Information and Knowledge> Security of Advanced Systems> Testing>