Automata, Computability and Complexity Theory Group
Academic Staff
Dr. Louwe Kuijer ![]() ![]() ![]() ![]() | Modal logics, especially dynamic epistemic logic | |
Prof Vitaliy Kurlin ![]() ![]() ![]() ![]() | New methods of Geometric and Topological Data Science with applications to Materials, Computer Vision and Climate | |
Prof. Igor Potapov ![]() ![]() ![]() ![]() | Head of Group Reachability questions, decidable/undecidable problems concerning automata, formal languages, semigroups and iterative maps. Algorithms and combinatorics on words, abstract algebra, topology and computation theory. Distributed computational models | |
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. Dominik Wojtczak ![]() ![]() ![]() ![]() | Probabilistic systems, game theory, coalition games, control theory, verification of embedded systems |
Research Staff
Maintained by webmaster@csc.liv.ac.uk