Full professor at TU Dresden and Director of the Institute for Theoretical Computer Science at TU Dresden (Germany)

Franz Baader is full professor for Theoretical Computer Science at TU Dresden (Germany) since 2002 and director of the Institute for Theoretical Computer Science at TU Dresden since 2005. He has received his doctoral degree (Dr.-Ing.) in Computer Science from the University of Erlangen-Nürnberg in 1989, and from 1989 to 1993 was senior scientist and project leader at the Germany Research Center for Artificial Intelligence (DFKI) in Kaiserslautern and Saarbrücken. From 1993 to 2002 he was professor for Theoretical Computer Science at RWTH Aachen.

His main research area is Logic in Computer Science, and there in particular Automated Deduction and Knowledge Representation. He and his research group have worked on Description Logics for 30 years, and have laid the the logical and algorithmic foundations for the Description Logics underlying OWL and the OWL 2 profile OWL 2 EL. Franz Baader is a fellow of the European Association for Artificial Intelligence (EurAI) since 2004 and a member of the Academia Europaea since 2011. In 2020 he received the Herbrand Award for Distinguished Contributions to Automated Reasoning.