Research areas and groups
Our leading experts are focused on research that's changing the way we interact with technology.
We closely collaborate with our partners in industry and government on projects that transform and innovate new technology and its processes, tools and techniques.
Artificial Intelligence
Algorithmic Decision Theory
Working to develop computational and analytical tools to support collective and cooperative decision making using a blend of game theory, AI (artificial intelligence), and algorithms, the Algorithmic Decision Theory Group collaborates on fundamental optimisation problems.
Computer Vision
Developing advanced computational methods for automated image analysis and downstream data analytics, The Computer Vision Group employs methods that are based on solid mathematical and statistical modelling, as well as data-driven artificial intelligence using machine and deep learning.
Human-Centred Computing
In the Human-Centred Computing (HCC) group, our goal is to build and design technologies which understand people, respond to their needs adaptively, and improve their experience. The advancement of human-computer interfaces and ubiquitous computing are changing the world, bridging the gap between our physical and digital worlds.
Knowledge Representation and Reasoning
A fundamental assumption in Knowledge Representation and Reasoning is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. The assumption that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems.
Machine Learning
With interests in all aspects of machine learning, the research remit of the Machine Learning Group is broad. The group looks into various application domains, including bioinformatics, biomedical image analysis, cybersecurity, human-computer interaction, robotics and recommender systems.
Networking and Ubiquitous Computing
Developing novel concepts, methods, tools, and technology, the Networking and Ubiquitous Computing research group works to investigate the ubiquitous connectivity and sensing underpinning smart environments.
Robotics
Cognitive Robotics concerns the use of Artificial Intelligence methods to allow an autonomous system to learn and reason about its environment and how to behave appropriately to achieve its goals.
Social Impact of AI and Robotics
As AI becomes more pervasive in society, researchers have a responsibility to develop ethical uses of AI research and technologies. Focused on developing AI frameworks, this group works on developing theories and applications which promote respect for human rights while providing societal benefits in support of a broader agenda of social justice.
Computer Systems
Embedded Systems
Much of the technology we use each day is controlled by embedded systems, but as our needs and demands change, so does the technology and systems which control them. We look at ways to improve these systems and innovate new technologies which have a positive impact on the community.
Networking and Ubiquitous Computing
Developing novel concepts, methods, tools, and technology, the Networking and Ubiquitous Computing research group works to investigate the ubiquitous connectivity and sensing underpinning smart environments.
Formal Methods
The Formal Methods Group works on the foundations of computation, developing logical and probabilistic frameworks for areas of computer science encompassing imperative and logical programming, concurrent and distributed computing, computer security and artificial intelligence.
Information Security and Privacy (IsPri)
The Information Security and Privacy Research Group’s mission is to conduct advanced applied security research and devise practical solutions to address real-world information security and privacy challenges.
Programming Languages and Compilers
Focusing on developing foundations for building reliable, high-performance and energy-efficient software, The Programming Languages and Compilers (PLC) Group’s work incorporates languages, semantics, type systems, program analysis, and implementation techniques.
Trustworthy Systems
Focusing on the design, implementation and verification of real-world software systems that are safe and secure in the strongest sense – that of mathematical proof – the Trustworthy Systems Group’s activities range from fundamental research, to the creation of technology and its transfer to the real world.
Data Science and Information Systems
Data and Knowledge Research Group
A world leader in database, data management, and (big) data analytics, the work of The Data and Knowledge Research Group accelerates data-intensive applications, and supports insightful knowledge-extraction from large-scale, complex and dynamic real-life datasets.
Machine Learning
With interests in all aspects of machine learning, the research remit of the Machine Learning Group is broad. The group looks into various application domains, including bioinformatics, biomedical image analysis, cybersecurity, human-computer interaction, robotics and recommender systems.
Software and Data Services Engineering
Founded on the area of service-oriented computing, the Software and Data Services Engineering Group investigates a paradigm which is now embedded in many other computing disciplines, and which underpins several research and solution design approaches.
Human-Computer Interaction
Computing and Education
Technology's impact on education is vast, with the research field aiming to explore computing education research, learning sciences, educational research, and educational psychology. The Computing and Engineering Group’s research aims to encompass a broad range of these research subfields to align with the CSE's range of expertise.
Computer Vision
Developing advanced computational methods for automated image analysis and downstream data analytics, The Computer Vision Group employs methods that are based on solid mathematical and statistical modelling, as well as data-driven artificial intelligence using machine and deep learning.
Human-Centred Computing
In the Human-Centred Computing (HCC) group, our goal is to build and design technologies which understand people, respond to their needs adaptively, and improve their experience. The advancement of human-computer interfaces and ubiquitous computing are changing the world, bridging the gap between our physical and digital worlds.
Networking and Ubiquitous Computing
Developing novel concepts, methods, tools, and technology, the Networking and Ubiquitous Computing research group works to investigate the ubiquitous connectivity and sensing underpinning smart environments.
Robotics
Cognitive Robotics concerns the use of Artificial Intelligence methods to allow an autonomous system to learn and reason about its environment and how to behave appropriately to achieve its goals.
Social Impact of AI and Robotics
As AI becomes more pervasive in society, researchers have a responsibility to develop ethical uses of AI research and technologies. Focused on developing AI frameworks, this group works on developing theories and applications which promote respect for human rights while providing societal benefits in support of a broader agenda of social justice.
Theory
Algorithms
Algorithms are at the heart of all information-processing and research in this field emphasises mathematical technique and rigour. Our group designs and analyses algorithms in terms of resource requirements (time, space, randomness) and studies their limitations.
Algorithmic Decision Theory
Working to develop computational and analytical tools to support collective and cooperative decision making using a blend of game theory, AI (artificial intelligence), and algorithms, the Algorithmic Decision Theory Group collaborates on fundamental optimisation problems.
Formal Methods
The Formal Methods Group works on the foundations of computation, developing logical and probabilistic frameworks for areas of computer science encompassing imperative and logical programming, concurrent and distributed computing, computer security and artificial intelligence.
Knowledge Representation and Reasoning
A fundamental assumption in Knowledge Representation and Reasoning is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. The assumption that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems.