Automata Theory
From International Center for Computational Logic
Automata Theory
- Contact Franz Baader
- Secretary kerstin.achtruth@tu-dresden.de
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.
Further information: https://lat.inf.tu-dresden.de