Algorithms, Complexity Theory and Optimisation Algorithmic Game Theory Knowledge Representation Machine Learning Networks and Distributed Computing Robotics and Autonomous Systems Verification Back to: Department of Computer Science