Franz Baader

Prof. Franz Baader is a Full Professor for Automata Theory and Director of the Institute of Theoretical Computer Science at TU Dresden, Germany. He has held academic leadership roles including Dean of the Faculty of Computer Science (2012–2015). His research focuses on Logic in Computer Science, Knowledge Representation, and Description Logics. He has published extensively in top venues and received prestigious awards like the Herbrand Award (2020). His contributions include foundational work on automated deduction and term rewriting.

Education: Dr.-Ing. in Computer Science (1989, FAU Erlangen-Nürnberg). Professional experience includes roles at DFKI, RWTH Aachen as Associate Professor, and visiting scholarships at NICTA (Australia). He is a Fellow of EurAI (2004).

Research Interests: His work bridges theoretical computer science and practical knowledge representation systems. Key areas include description logics, automated reasoning, and formal methods. He has pioneered techniques for ontology repair and explanation generation in DL systems.

Recognition: Over 250+ publications, H-index 69 (Google Scholar). Member of editorial boards for 6 journals, former President of CADE Inc., and active in international conferences like IJCAR and RTA.