Verification Group

Academic Staff

Hamzah Faraj
Dr. Lorenzo Gheri
Prof. Xiaowei Huang
Local publication listGoogle ScholarDBLPOrcID
Trustworthy Machine Learning, Verification and Validation, Model Checking
Dr. Chao Huang
Local publication listGoogle ScholarDBLPOrcID
Design and Verification of Learning-Enabled Cyber-Physical Systems (LE-CPS), real-time systems, embedded systems
Dr. Ullrich Hustadt
Local publication listGoogle ScholarDBLPOrcID
High Performance Computing, Bioinformatics, String algorithms, Combinatorial Optimization
Dr. Rasmus Ibsen-jensen
Local publication listGoogle ScholarDBLPOrcID
Game theory, specifically two player zero-sum games, static analysis and evolutionary theoretical biology
Prof. Boris Konev
Local publication listGoogle ScholarDBLP
Description logics, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal methods
Dr. Alexei Lisitsa
Local publication listGoogle ScholarDBLP
Verification, Formal Methods, Security, Applied Automated Reasoning, Applied Machine Learning
Dr. David Purser
Local publication listGoogle ScholarDBLPOrcID
Prof. Sven Schewe
Local publication listGoogle ScholarDBLPOrcID
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. Friedrich Slivovsky
Dr. Tony Tan
Dr Qiyi Tang
Local publication listOrcID
software verification, probabilistic models, automata theory
Dr. Patrick Totzke
Local publication listGoogle ScholarDBLPOrcID
Logics, automata, game theory and computer-aided verification
Dr. Dominik Wojtczak
Local publication listGoogle ScholarDBLPOrcID
Head of Group
Probabilistic systems, game theory, coalition games, control theory, verification of embedded systems
Prof. Frank Wolter
Local publication listGoogle ScholarDBLP
Knowledge Representation and Reasoning and Logic in Computer Science
Dr. Xingyu Zhao
Google ScholarDBLPOrcID
Probabilistic verification of autonomous systems; Bayesian inference with partial and/or vague prior knowledge; Explainable AI

Research Fellows and Assistants

Nicolas Berthier
Local publication listDBLPOrcID
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.
Sougata Bose
Local publication list
Qiong Bu
DBLP
Daniele Dell'Erba
DBLPOrcID
Marie Fortin
DBLPOrcID
Logic in computer science, formal verification of concurrent systems, ontologies and description logics, automata theory
Yong Li
Soumyajit Paul
Ravi Rai

PhD Students

Nouf Al-Juaid
Amany Alshareef
Sahar Alzahrani
Peter Austin
Michael Hughes
Sihao Wu
Yanhua Xu
Peipei Xu
Google ScholarDBLP
Wanrong Yang
Tansholpan Zhanabekova