Franz Baader
Franz Baader is a computer scientist at TU Dresden whose research centers on description logics and unification theory. He earned a computer-science PhD in 1989, then worked at DFKI and became associate professor at RWTH Aachen in 1993. In 2002 he moved to TU Dresden as a full professor, and in 2004 he became a Fellow of the European Association for Artificial Intelligence. The book An Introduction to Description Logic, co-written with Carsten Lutz and Uli Sattler, appeared in 2017, and the Herbrand Award recognized his work in 2020. He retired in October 2025 and remains a senior professor at TU Dresden.
Timeline
-
1989
A computer-science doctorate
He completes a computer-science PhD at the University of Erlangen-Nuremberg in 1989.
-
1989–1993
From DFKI to RWTH Aachen
He joins the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader in 1989, and in 1993 he becomes associate professor of computer science at RWTH Aachen.
-
2002
Full professor in Dresden
In 2002 TU Dresden appoints him as a full professor for computer science.
-
2004
A EurAI fellowship
The European Association for Artificial Intelligence (EurAI) makes him a Fellow in 2004.
-
2004–2013
President of CADE
He presides over CADE, the Conference on Automated Deduction, from 2004 to 2009 and again from 2011 to 2013.
-
2017
A description logic book
He co-writes An Introduction to Description Logic with Carsten Lutz and Uli Sattler, published in 2017.
-
2020
A Herbrand Award
The Herbrand Award goes to him in 2020 for his work on unification theory, combinations of theories and reasoning in description logics.
-
Since 2025
Senior professor at TU Dresden
He retires in October 2025 and stays at the faculty as a senior professor.
Sources and credits
Photo: tu-dresden.de; Franz Baader — Professor (rtd.) Dr.-Ing. Franz Baader — TU Dresden; creator not stated. License: Not stated by source. Source: tu-dresden.de. Cropped to a square and resized. Ask us to remove or replace this photo.