Verification Group

Academic Staff

Dr. Lorenzo Gheri		Concurrency and Proof Assistants; Programming Languages, Theoretical Computer Science, and Logic
Prof. Xiaowei Huang		Trustworthy Machine Learning, Verification and Validation, Model Checking
Dr. Ullrich Hustadt		High Performance Computing, Bioinformatics, String algorithms, Combinatorial Optimization
Dr. Rasmus Ibsen-jensen		Game theory, specifically two player zero-sum games, static analysis and evolutionary theoretical biology
Prof. Boris Konev		Description logics, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal methods
Dr. Alexei Lisitsa		Verification, Formal Methods, Security, Applied Automated Reasoning, Applied Machine Learning
Dr. David Purser		Weighted automata, Vector addition systems and Infinite state systems
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. Friedrich Slivovsky		Propositional Satisfiability
Dr. Tony Tan
Dr Qiyi Tang		software verification, probabilistic models, automata theory
Dr. Patrick Totzke		Logics, automata, game theory and computer-aided verification
Dr. Dominik Wojtczak		Head of Group Probabilistic systems, game theory, coalition games, control theory, verification of embedded systems
Prof. Frank Wolter		Knowledge Representation and Reasoning and Logic in Computer Science

Research Staff

Sougata Bose		Games, Automata Theory, Logic and Verification
Daniele Dell'Erba		Game Theory, Formal verification, Model checking, Infinite-duration games on graphs
Yong Li		Verification and Automata theory
Soumyajit Paul
Ravi Rai		Game Theory, MDP, Probability
Di-De Yen