Franz Baader

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Franz Baader
Born (1959-06-15) 15 June 1959 (age 59)
Scientific career
InstitutionsDresden University of Technology,
RWTH Aachen University,
University of Erlangen-Nuremberg,
German Research Centre for Artificial Intelligence
ThesisUnifikation und Reduktionssysteme für Halbgruppenvarietäten[1] (1989)
Doctoral advisorKlaus Leeb[1]
Doctoral studentsUlrike Sattler[2]

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

He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany,[1] 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.[6]


  • 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.


  1. ^ a b c Franz Baader at the Mathematics Genealogy Project
  2. ^ Sattler, Ulrike (1998). Technological Knowledge Representation Systems in a Chemical Engineering Application (PhD thesis). Dresden University of Technology.
  3. ^ Franz Baader Home Page
  4. ^ Franz Baader publications indexed by Google Scholar
  5. ^ Franz Baader at DBLP Bibliography Server Edit this at Wikidata
  6. ^ "Archived copy". Archived from the original on 2011-07-19. Retrieved 2010-02-25.