Verification Group

Academic Staff

Dr. Clare Dixon
Local publication listGoogle ScholarDBLP
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. 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
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

Omar Bataineh
Nicolas Berthier
Local publication listDBLP
Reactive Control Techniques for Systems Design, Model-based Design, Global Control for Resource and Energy Management in Embedded Systems, Kernel Architecture, Hardware and Operating System-level Virtualization, Programming Languages for Systems Design,
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. Matt Webster
Local publication listGoogle ScholarDBLP
Autonomous systems, formal methods, robotics, unmanned aircraft, model checking, computer security, formal modelling of biosystems

PhD Students

Farah Al-Shareefi Security Analysis
Paul Gainer
Local publication listGoogle ScholarDBLP
Formal Verification, Temporal Logics, Swarm Intelligence
Anshul Gupta
Local publication listDBLP
Equilibrium in games, Finite games of infinite duration, Mean Pay-off games, Discounted-sum games, Bi-matrix Games
Idress Husien Adaptive systems and self learning intelligent systems
Mousa Jari
Mehmet Kurucan Embedded systems, Verification of probabilistic systems, Artificial neural networks
Mahmoud Mousa
DBLP
Energy Efficient Control
Reino Niskanen
Local publication listGoogle ScholarDBLP
Decidability
Mete Ozbaltan Energy Efficient Control