
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.