Chair of Automata Theory, group photo 2025 © Automata Theory, TU Dresden

Chair of Automata Theory

Prof. Dr.-Ing. Franz Baader was appointed to the chair of automata theory in 2002. His chair offers basic and in-depth courses for various degree programmes, and conducts research in the areas of deduction, knowledge representation, as well as computing with molecules.

learn more Chair of Automata Theory