Franz Baader

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

Franz Baader
Born (1959-06-15) 15 June 1959
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]

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, Andrei 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)


  1. 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
  6. "Archived copy". Archived from the original on 2011-07-19. Retrieved 2010-02-25.CS1 maint: archived copy as title (link)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.