Robotics and Autonomous Systems Group

Academic Staff

Prof. Katie Atkinson
Local publication listGoogle ScholarDBLP
AI and law, practical reasoning, argument-based dialogues and protocols, e-democracy, computational argument
Dr. Clare Dixon
Local publication listGoogle ScholarDBLP
Head of Group
Temporal verification, theorem-proving for non-classical logics, robot swarm verification
Prof. Michael Fisher
Local publication listGoogle ScholarDBLP
Autonomous Systems and Robotics, Temporal Logic, Formal Verification, Pervasive Systems, Aerospace
Dr. Floriana Grasso
Local publication listGoogle ScholarDBLP
Persuasive discourse, motivational argument, digital interventions for behavioural change, natural argumentation, user modelling, e-Health
Dr. Davide Grossi
Local publication listGoogle ScholarDBLP
Foundations of AI, modal logic, game theory, judgment aggregation, social choice theory, argumentation theory
Dr. Xiaowei Huang
Google ScholarDBLP
Logic-based approaches for the specification, verification and synthesis of autonomous multi-agent systems
Dr. Ullrich Hustadt
Local publication listGoogle ScholarDBLP
First-order reasoning, Reasoning in non-classical logics, Agent logics, Web ontologies
Dr. Frans Oliehoek
Local publication listGoogle ScholarDBLP
Sequential decision making, Uncertainty, Decision theory, Multiagent systems, MDPs, POMDPs, Dec-POMDPs, Probabilistic robotics
Dr. Terry Payne
Local publication listGoogle ScholarDBLP
Ontological knowledge for agent capability / service description, Discovery and provision, Open, mobile and pervasive autonomous systems
Prof. Sven Schewe
Local publication listGoogle ScholarDBLP
Synthesis, automata & games, temporal logic, Markov games and decision processes, control theory, equilibria, agent & game logics, verification
Dr. Valentina Tamma
Local publication listGoogle ScholarDBLP
Ontology engineering and its application to Open environments, Meaning negotiation, Ontology Evaluation
Prof Karl Tuyls
Local publication listGoogle ScholarDBLP
Adaptation in multi-agent and robot systems, Reinforcement learning, (Evolutionary) Game theory, Swarm intelligence and bio-inspired computing, Machine learning, and Datamining
Prof. Wiebe van der Hoek
Local publication listGoogle ScholarDBLP
Epistemic Logic, Dynamic Epistemic Logic, Extended Modal Logic
Richard Williams
Local publication listGoogle ScholarDBLP
Robotics, Simultaneous Localisation and Mapping, Multi-Agent Systems

Research Fellows and Assistants

Daniel Bloembergen
Local publication listGoogle ScholarDBLP
Multi-Agent Systems; Reinforcement Learning; (Evolutionary) Game Theory; Robotics
Dr. Zoe Christoff
Local publication listGoogle ScholarDBLP
dynamic logic and social epistemology, modal logics, graph theory, social choice theory, formal learning theory, self-reference problems, foundations of mathematics and limitative results in logic.
Elisa Cucco
Local publication listDBLP
Autonomous systems, Reconfigurable autonomy, Model checking agent programming languages, Human-Robot Interaction, robot coordination.
Dr. Louise Dennis
Local publication listGoogle ScholarDBLP
Formal Verification, BDI agent programming languages, Automated Reasoning
Maryam Kamali
Local publication listGoogle ScholarDBLP
Distributed, autonomous systems; Correct-by-construction development; Network protocol verification; Model checking; Abstraction and refinement
Dr. Sven Linker
Local publication listGoogle ScholarDBLP
spatial logic, diagrammatic reasoning, visual reasoning, process algebra, temporal logic
Dr. Fabio Papacchini
Local publication listGoogle ScholarDBLP
Knowledge Representation, OBDA, Query Answering, Rewriting, Automated Reasoning, Tableaux Methods, Modal Logics, Description Logics and Model Generation
Charles Patchett
DBLP
Autonomous air systems, decision support and information fusion systems
Dr. Luke Riley
Local publication listGoogle ScholarDBLP
Coalition formation, Cooperative Game Theory, Dialogue Games, Argumentation
Dr. Matt Webster
Local publication listGoogle ScholarDBLP
Autonomous systems, formal methods, robotics, unmanned aircraft, model checking, computer security, formal modelling of biosystems

PhD Students

Bastian Broecker
DBLP
Bio-Inspired Multi-robot Coordination
Benjamin Burger
James Butterworth
Daniel Claes
Local publication listGoogle ScholarDBLP
Artificial Intelligence, Robotics
Rik Claessens
Local publication listGoogle ScholarDBLP
reasoning with uncertainty, autonomous systems, multi-agent systems, planning & control, Bayesian modelling, information management
Joe Collenette
Local publication listDBLP
Evolution of co-operation between agents, natural language processing, computational representations of emotions
Joscha-David Fossel
Local publication listDBLP
Artificial Intelligence; Robotics; Autonomous Vehicles; State Estimation; Simultaneous Localization and Mapping; Manipulators;
Paul Gainer
Local publication listGoogle ScholarDBLP
Formal Verification, Temporal Logics, Swarm Intelligence
Richard Klima
Local publication listGoogle ScholarDBLP
Computational game theory, machine learning
Gregory Palmer
Local publication list
Deep Reinforcement Learning
Jeffery Raphael
Local publication listGoogle ScholarDBLP
Artificial intelligence, multi agent systems, traffic, auction mechanism, agent coordination
Andrew Roxburgh
Local publication listGoogle Scholar
Mobile and web technologies as digital interventions
Gabrielle Santos
DBLP
Mapping of Multiple Ontologies
Eric Schneider
Local publication listGoogle ScholarDBLP
Robotics
Benjamin Schnieders
Local publication listGoogle Scholar
AI, Robotics