Prof. Dr.-Ing. Franz Baader was appointed to the chair of automata theory in 2002. Since October 2025 he continues as a senior professor. 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.