Robotics and Autonomous Systems Group

Academic Staff

Prof. Katie Atkinson		AI and Law, computational models of argument, dialogue games
Prof. Xiaowei Huang		Trustworthy Machine Learning, Verification and Validation, Model Checking
Dr. Chao Huang		Design and Verification of Learning-Enabled Cyber-Physical Systems (LE-CPS), real-time systems, embedded systems
Dr. Ullrich Hustadt		High Performance Computing, Bioinformatics, String algorithms, Combinatorial Optimization
Dr Shan Luo		Robotics, Machine Learning and Computer Vision
Dr. Anh Nguyen		Vision: Image segmentation, medical image, object detection, video understanding, connecting vision and language. Learning: Deep learning, graphical model, deep reinforcement learning. Robotics: Manipulation, locomotion, medical robot
Dr. Fabio Papacchini		Knowledge Representation, OBDA, Query Answering, Rewriting, Automated Reasoning, Tableaux Methods, Modal Logics, Description Logics and Model Generation
Dr. Terry Payne		Head of Group The use of ontological knowledge for the support of agent-based service discovery and the exploration of dialogue-based negotiation approaches to establish contextually-relevant ontological alignment between interacting agents on the fly
Prof. Sven Schewe		Automata theory, game theory (especially finite games of infinite duration) verification, reinforcement learning, temporal logic, Markov games and decision processes, control theory, equilibria, agent & game logics
Dr. Valentina Tamma		Ontologies in open and distributed environments. AI methods in dynamic knowledge evolution & adaptation. Ontology design, ontology management, semantic integration, ontology evolution, and knowledge acquisition
Prof. Wiebe van der Hoek		Knowledge Representation, Logic, Logics for Knowledge and Belief, Logics for games
Dr. Xingyu Zhao		Probabilistic verification of autonomous systems; Bayesian inference with partial and/or vague prior knowledge; Explainable AI

Research Fellows and Assistants

Nicolas Berthier		Discrete Controller Synthesis Algorithms; Reactive Control Techniques, Models and Programming Languages for Systems Design; Global Control for Resource and Energy Management; Operating Systems Design and Implementation.
Joe Collenette		Evolution of co-operation between agents, natural language processing, computational representations of emotions
Yi Dong
Joe Jerome
Leszek Pecyna		Artificial Intelligence, Artificial Neural Network Developmental, Robotics, Deep Neural Networks, Modeling of Number Cognition
Prof Karl Tuyls		Adaptation in multi-agent and robot systems, Reinforcement learning, (Evolutionary) Game theory, Swarm intelligence and bio-inspired computing, Machine learning, and Datamining

PhD Students

Konstantinos Alexandridis
James Butterworth		Artificial Intelligence, Machine Learning
Guanqun Cao		Deep Learning; Robotics; Sensory synergy of tactile sensing and vision
Rik Claessens		reasoning with uncertainty, autonomous systems, multi-agent systems, planning & control, Bayesian modelling, information management
Omar Elnaggar
Daniel Fernandes Gomes		Robotics; Artificial Intelligence; Computer Vision; Tactile Sensing
Wei Huang
Michael Hughes
Jiaqi Jiang		Artificial Intelligence; Robotics; Active perception, Sensory synergy and Aerial manipulation.
Chen Lu		Deep Reinforcement Learning. Cognitive Neuroscience. Robotics.
Andrew Roxburgh		Mobile and web technologies as digital interventions
Sihao Wu
Peipei Xu