Franz Baader

Franz Baader is a Professor of Automata Theory at the Faculty of Computer Science, Technical University of Dresden. He is affiliated with the International Center for Computational Logic (ICCL) and serves as Chair of Automata Theory within the Institute of Theoretical Computer Science.

• Research areas: Knowledge representation, logical reasoning, description logics, and automata theory
• Projects: HAEC B02, HAEC B08, QuantLA
• Committee roles: Steering Committee member of CADE (2002-2013) and DL Workshop (2000-2002; 2008-2011)

His recent work focuses on description logics with concrete domains, analyzing their expressive power, decidability, and computational complexity. He has extensively studied cardinality constraints in knowledge representation systems.

Key themes in his publications include: formal verification, logical inference, knowledge graphs, and ontological reasoning with access restrictions. Many papers examine the intersection of automata theory and description logics.

• Contact: baader@tcs.inf.tu-dresden.de
• Office: APB 3021, Dresden