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.
Hoang Duy Nhu, Anton Claußnitzer, Kerstin Achtruth, Alisa Kovtunova, Petra Humann, Christian Alrabbaa, Francesco Kriegel, Stefan Borgwardt, Oliver Fernández Gil, Oscar Barreca
The Herbrand Award for Distinguished Contributions to Automated Reasoning is awarded by CADE Inc. “to honor an individual or (a group of) individuals for exceptional contributions to the field of Automated Deduction.”
⠀
Most of the research done in our group is concerned with automated deduction, that is, with the problem of how to automate the process of drawing logical inferences. In this context, we are mainly interested in subclasses of first-order predicate logic for which the interesting inference problems are still decidable. On one hand, we are investigating the combination of special deduction methods, and their integration into general deduction procedures. On the other hand, we are designing logic-based knowledge representation languages with decidable inference problems.
The chair of automata theory offers courses for the following degree programmes: Informatik, Medieninformatik, Wirtschaftsinformatik, Computational Logic, Elektrotechnik, Informationssystemtechnik, Biologie. Furthermore, courses are offered for a subsidiary computer science education.
