Artificial Intelligence
Intelligent systems are part of the foundations for the next major industrial revolution.
Our facilities
We boast an incredible array of facilities, making our innovative artificial intelligence research possible.
Our research sits at the forefront of fundamental research and seeks answers to questions that could revolutionise AI. From the theory and practice of machine learning, including deep neural network architectures, causality, and knowledge representations, through to robot-human interaction and language learning. We are forging a path toward seamless integration of intelligent systems into our natural environment.
Areas of expertise
Our researchers focus their work in the following specialist areas:
-
Autonomy and verification
We focus on autonomous systems and their development, verification, and analysis, Applications include robots, self-driving vehicles, distributed sensor-rich systems and decision-making software.
Read more
-
Formal methods
We provide formal mathematical foundations for Computer Science, from verification of hardware, software and agent systems to cryptography and knowledge representation, reasoning and knowledge management.
Read more
-
Machine learning and robotics
We develop and apply novel statistical Machine Learning methodologies, from theory to application, and push forward the state of the art in Human-Robot interactions with our Cognitive Robotics Lab.
Read more
-
Natural language processing and text mining
We develop NLP and text mining techniques to provide insights for social scientists, biologists, and neuroscientists. Our strong interdisciplinary foundations support a world leading expertise in information extraction.
Read more
-
Systems and software security
We develop state-of-the-art algorithms, methods and protocols to address security and privacy in networked and distributed system environments, and tools to build verifiable, trustworthy software systems.
Read more
Postgraduate research projects