
Argumentation and representation of knowledge
This group is dedicated to representing information about the world in a form that a computer system can utilise to solve complex tasks.

Data mining and machine learning
The aim of the group is to investigate automated learning in intelligent systems by developing computational models and algorithms.

Robotics and autonomous systems
Robotics focuses on the ability of machines to act intelligently within society.

Verification
Verification techniques are used for proving that a system meets its requirements and specifications.