Automata, Computability and Complexity Theory Group

Academic Staff

Dr Andre Hernich
Local publication listGoogle ScholarDBLP
Databases; Information integration; Data streaming; Logic and its applications to computer science (in particular, Finite model theory); Complexity theory
Dr Vitaliy Kurlin
Local publication listGoogle ScholarDBLP
Topological data analysis
Dr. Igor Potapov
Local publication listGoogle ScholarDBLP
Head of Group
Design and analysis of algorithms; computational models and automata theory; decidability issuess
Prof. Sven Schewe
Local publication listGoogle ScholarDBLP
Synthesis, automata & games, temporal logic, Markov games and decision processes, control theory, equilibria, agent & game logics, verification
Dr. Dominik Wojtczak
Local publication listGoogle ScholarDBLP
Algorithmic game theory; Efficient analysis of probabilistic systems; Computer security; Algorithms and theory of automata

Research Fellows and Assistants

Vesa Halava
Local publication listGoogle ScholarDBLP
Computability, undecidability, decidability, logic, automata theory, combinatorics on words, algorithms
Louwe Kuijer
Local publication listGoogle ScholarDBLP
modal logic, dynamic epistemic logic, circularity, model checking, satisfiability checking
Pavel Semukhin
Local publication listGoogle ScholarDBLP
computational learning theory, automatic structures, computable model theory

PhD Students

Grzegorz Muszynski
Reino Niskanen
Local publication listGoogle ScholarDBLP
Decidability