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 ![]() ![]() |
Maintained by webmaster@csc.liv.ac.uk