Automata, Computability and Complexity Theory Group

Academic Staff

Dr. Louwe Kuijer
Local publication listGoogle ScholarDBLPOrcID		 Modal logics, especially dynamic epistemic logic
Prof Vitaliy Kurlin
Local publication listGoogle ScholarDBLPOrcID		 New methods of Geometric and Topological Data Science with applications to Materials, Computer Vision and Climate
Prof. Igor Potapov
Local publication listGoogle ScholarDBLPOrcID		 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
Local publication listGoogle ScholarDBLPOrcID		 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
Local publication listGoogle ScholarDBLPOrcID		 Probabilistic systems, game theory, coalition games, control theory, verification of embedded systems

Research Staff