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 ![]() ![]() |
Maintained by webmaster@csc.liv.ac.uk