Robotics and Autonomous Systems Group
Academic Staff
Prof. Katie Atkinson | AI and Law, computational models of argument, dialogue games | |
Dr. Guangliang Cheng | ||
Dr. Mario Gianni | ||
Dr. Chao Huang | Design and Verification of Learning-Enabled Cyber-Physical Systems (LE-CPS), real-time systems, embedded systems | |
Prof. Xiaowei Huang | Trustworthy Machine Learning, Verification and Validation, Model Checking | |
Dr. Ullrich Hustadt | High Performance Computing, Bioinformatics, String algorithms, Combinatorial Optimization | |
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 | |
Dr. Bei Peng | (deep) reinforcement learning, multi-agent systems, interactive machine learning, and curriculum learning | |
Dr. Wiley Ruan | ||
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. Dominik Wojtczak | Probabilistic systems, game theory, coalition games, control theory, verification of embedded systems | |
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
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 | |
Michael Hughes | ||
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