Hamzah Faraj |
| |
Dr. Lorenzo Gheri |
| |
Prof. Xiaowei Huang
|
| Trustworthy Machine Learning, Verification and Validation, Model Checking |
Dr. Chao Huang
|
| Design and Verification of Learning-Enabled Cyber-Physical Systems (LE-CPS), real-time systems, embedded systems |
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
|
| |
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 |
| |
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 |
Dr. Xingyu Zhao
|
| Probabilistic verification of autonomous systems; Bayesian inference with partial and/or vague prior knowledge; Explainable AI |