Dr. Xiaowei Huang
    |
| Trustworthy Machine Learning, Verification and Validation, Model Checking |
Dr. Ullrich Hustadt
    |
| Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic, including fragments resulting from the relational, semi-functional and optimised functional translation of decidable propositional modal logics |
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 |
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. 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 |
Dr Martin Zimmermann
    |
| Turning reactive synthesis from a decision problem into an optimization problem by studying quantitative winning conditions, by turning qualitative conditions into quantitative ones, and by developing algorithms to compute optimal winning strategies. |