Franz Baader

For the German ice hockey referee and linesman, see Franz Baader (ice hockey).

Franz Baader
Born	(1959-06-15) 15 June 1959
Scientific career
Institutions	Dresden University of Technology, RWTH Aachen University, University of Erlangen-Nuremberg, German Research Centre for Artificial Intelligence
Thesis	Unifikation und Reduktionssysteme für Halbgruppenvarietäten (1989)
Doctoral advisor	Klaus Leeb
Doctoral students	Ulrike Sattler
Website	lat.inf.tu-dresden.de/~baader/index-en.html

Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology .

He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany, where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader.

In 1993 he became associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden.

Works

• Franz Baader, Tobias Nipkow, Term Rewriting and All That, (1998) Cambridge University Press.
• Franz Baader, ed. (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press. ISBN 978-0-521-78176-3.
• Franz Baader, Andreĭ Voronkov, eds. (2005). Logic for programming, artificial intelligence, and reasoning: 11th international conference. Springer. ISBN 978-3-540-25236-8.CS1 maint: Uses editors parameter (link)