Robotics and Autonomous Systems Group

Academic Staff

Prof. Katie Atkinson
Local publication listGoogle ScholarDBLP
AI and Law, computational models of argument, dialogue games
Dr. Chao Huang
Local publication listGoogle ScholarDBLPOrcID
Design and Verification of Learning-Enabled Cyber-Physical Systems (LE-CPS), real-time systems, embedded systems
Prof. Xiaowei Huang
Local publication listGoogle ScholarDBLPOrcID
Trustworthy Machine Learning, Verification and Validation, Model Checking
Dr. Ullrich Hustadt
Local publication listGoogle ScholarDBLPOrcID
High Performance Computing, Bioinformatics, String algorithms, Combinatorial Optimization
Dr. Anh Nguyen
Local publication listGoogle ScholarDBLP
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
Local publication listGoogle ScholarDBLP
Knowledge Representation, OBDA, Query Answering, Rewriting, Automated Reasoning, Tableaux Methods, Modal Logics, Description Logics and Model Generation
Dr. Terry Payne
Local publication listGoogle ScholarDBLPOrcID
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
Local publication listGoogle ScholarDBLPOrcID
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
Local publication listGoogle ScholarDBLPOrcID
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
Local publication listGoogle ScholarDBLP
Knowledge Representation, Logic, Logics for Knowledge and Belief, Logics for games
Dr. Xingyu Zhao
Google ScholarDBLPOrcID
Probabilistic verification of autonomous systems; Bayesian inference with partial and/or vague prior knowledge; Explainable AI

Research Fellows and Assistants

Nicolas Berthier
Local publication listDBLPOrcID
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
Local publication listDBLP
Evolution of co-operation between agents, natural language processing, computational representations of emotions
Yi Dong
Joe Jerome
Leszek Pecyna
Google ScholarDBLP
Artificial Intelligence, Artificial Neural Network Developmental, Robotics, Deep Neural Networks, Modeling of Number Cognition
Prof Karl Tuyls
Local publication listGoogle ScholarDBLPOrcID
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
Google ScholarDBLP
Artificial Intelligence, Machine Learning
Guanqun Cao
Google ScholarDBLP
Deep Learning; Robotics; Sensory synergy of tactile sensing and vision
Rik Claessens
Local publication listGoogle ScholarDBLP
reasoning with uncertainty, autonomous systems, multi-agent systems, planning & control, Bayesian modelling, information management
Omar Elnaggar
Google ScholarDBLPOrcID
Daniel Fernandes Gomes
Google ScholarDBLP
Robotics; Artificial Intelligence; Computer Vision; Tactile Sensing
Wei Huang
Michael Hughes
Jiaqi Jiang
Google ScholarDBLP
Artificial Intelligence; Robotics; Active perception, Sensory synergy and Aerial manipulation.
Chen Lu Deep Reinforcement Learning. Cognitive Neuroscience. Robotics.
Andrew Roxburgh
Local publication listGoogle Scholar
Mobile and web technologies as digital interventions
Sihao Wu
Peipei Xu
Google ScholarDBLP