Franz Baader

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

Franz Baader
Born	(1959-06-15) 15 June 1959 (age 65)
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[1]  (1989)
Doctoral advisor	Klaus Leeb[1]
Doctoral students	Ulrike Sattler[2]
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.[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]

He received the Herbrand Award for the year 2020 "in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics".[7]

Works

• Baader, Franz; Nipkow, Tobias (1998). Term Rewriting and All That. Cambridge University Press.
• Baader, Franz (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press. ISBN 978-0-521-78176-3.
• Baader, Franz; Voronkov, Andrei (2005). Logic for programming, artificial intelligence, and reasoning: 11th international conference. Springer. ISBN 978-3-540-25236-8.
• Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli (2017). An Introduction to Description Logic. Cambridge University Press. ISBN 978-0-521-87361-1.

References

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. Archived from the original on 2011-03-31. Retrieved 2012-06-18.
3. http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page
4. Franz Baader publications indexed by Google Scholar
5. Franz Baader at DBLP Bibliography Server
6. "Hochschule Darmstadt: Franz Baader". Archived from the original on 2011-07-19. Retrieved 2010-02-25.
7. "Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 18 July 2021.