Research groups Our department boasts several research groups. Algorithms, complexity theory and optimisation Algorithmic Game Theory Knowledge representation Machine Learning Networks and Distributed Computing Robotics and Autonomous Systems Verification.