Skip to content
Our Themes
Artificial Intelligence
Making computers do things that are traditionally thought of as requiring human intelligence.
Health Informatics
Using data analysis, simulation, and formal methods to improve diagnosis, monitoring and treatment of patients.
Computer Systems
Interdisciplinary research that covers the broad areas of distributed systems , networked systems , sensor systems and data-intensive systems .
Programming Languages
Programming languages enable humans to tell a computer what to do. Our research makes programming languages as easy to use as possible. Making software safer, more secure and more performant.
Human Computer Interaction
Multidisciplinary study of the interaction between computer technology and humans.
Computer Science
Demonstrations of projects and assignments from across our teaching modules and courses.