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
Prof. Dominik Wojtczak		Probabilistic systems, game theory, coalition games, control theory, verification of embedded systems

Research Staff