Verification Group

Academic Staff

Dr. Clare Dixon
Local publication listGoogle ScholarDBLP
Verification and validation of robotics and autonomous systems, formal verification, temporal and modal logics, automated reasoning
Prof. Michael Fisher
Local publication listGoogle ScholarDBLP
Autonomous Systems and Robotics, Temporal Logic, Formal Verification, Pervasive Systems, Aerospace
Dr. Xiaowei Huang
Local publication listGoogle ScholarDBLP
Logic-based approaches for the specification, verification and synthesis of autonomous multi-agent systems; safety verification of machine learning techniques such as neural network-based deep learning
Dr. Ullrich Hustadt
Local publication listGoogle ScholarDBLP
First-order reasoning, Reasoning in non-classical logics, Agent logics, Web ontologies
Prof. Boris Konev
Local publication listGoogle ScholarDBLP
Description logic, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal techniques
Dr. Alexei Lisitsa
Local publication listGoogle ScholarDBLP
Logic in Computer Science, Automated Reasoning, Formal Methods, Verification, Security
Prof. Sven Schewe
Local publication listGoogle ScholarDBLP
Head of Group
Synthesis, automata & games, temporal logic, Markov games and decision processes, control theory, equilibria, agent & game logics, verification
Dr. Dominik Wojtczak
Local publication listGoogle ScholarDBLP
Algorithmic game theory; Efficient analysis of probabilistic systems; Computer security; Algorithms and theory of automata
Prof. Frank Wolter
Local publication listGoogle ScholarDBLP
Knowledge Representation and Reasoning, Logic in Computer Science, Modal, Temporal, Description, and Spatial Logics

Research Fellows and Assistants

Nicolas Berthier
Local publication listDBLP
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.
Emily Collins
Google ScholarDBLP
Bart de Keijzer
Google ScholarDBLP
Algorithmic game theory, parity games, mechanism design, approximation algorithms, computational complexity theory
Dr. Louise Dennis
Local publication listGoogle ScholarDBLP
Formal Verification, BDI agent programming languages, Automated Reasoning, Ethical Machine Reasoning, Autonomous Systems
Marie Farrell
Google ScholarDBLP
Moritz Hahn
Google ScholarDBLP
Parametric Markov models, interval Markov models, complex properties of probabilistic models, stochastic hybrid systems, quantum Markov models
Maryam Kamali
Local publication listGoogle ScholarDBLP
Distributed, autonomous systems; Correct-by-construction development; Network protocol verification; Model checking; Abstraction and refinement
Georgios Kourtis
DBLP
Dr. Sven Linker
Local publication listGoogle ScholarDBLP
spatial logic, diagrammatic reasoning, visual reasoning, process algebra, temporal logic
Matthew Luckcuck
Google ScholarDBLP
Reino Niskanen
Local publication listGoogle ScholarDBLP
Decidability
Dr. Matt Webster
Local publication listGoogle ScholarDBLP
Autonomous systems, sensor systems, formal methods, robotics, unmanned aircraft, computer security

PhD Students

Farah Al-Shareefi
Google ScholarDBLP
Security Analysis
Hamzah Faraj
Paul Gainer
Local publication listGoogle ScholarDBLP
Formal Verification, Temporal Logics, Swarm Intelligence
Mousa Jari
Mehmet Kurucan Embedded systems, Verification of probabilistic systems, Artificial neural networks
Mahmoud Mousa
Google ScholarDBLP
Energy Efficient Control
Mete Ozbaltan Energy Efficient Control