1

Franz Baader



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. From 2012 to 2015 he was Dean of the Faculty of Computer Science of TU Dresden. 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 co-editor of the highly-cited Description Logic Handbook and co-author of the first textbook on Description Logics, both published by Cambridge University Press. He has published more than 250 research articles in international conferences and journals. He is a fellow of the European Association for Artificial Intelligence (EurAI) since 2004 and a member of the Academia Europe since 2011.