# Automata, Computability and Complexity Theory Group

## Academic Staff

Dr Andre Hernich | Databases; Information integration; Data streaming; Logic and its applications to computer science (in particular, Finite model theory); Complexity theory | |

Dr Vitaliy Kurlin | Topological data analysis | |

Prof. Igor Potapov | Head of GroupDesign and analysis of algorithms; computational models and automata theory; decidability issuess | |

Prof. Sven Schewe | Synthesis, automata & games, temporal logic, Markov games and decision processes, control theory, equilibria, agent & game logics, verification | |

Dr. Dominik Wojtczak | Algorithmic game theory; Efficient analysis of probabilistic systems; Computer security; Algorithms and theory of automata |

## Research Fellows and Assistants

Vesa Halava | Computability, undecidability, decidability, logic, automata theory, combinatorics on words, algorithms | |

Louwe Kuijer | modal logic, dynamic epistemic logic, circularity, model checking, satisfiability checking | |

Pavel Semukhin | computational learning theory, automatic structures, computable model theory |

## PhD Students

Grzegorz Muszynski | ||

Reino Niskanen | Decidability |