Franz Baader | |
|---|---|
| Born | 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[1] (1989) |
| Doctoral advisor | Klaus Leeb[1] |
| Doctoral students | Ulrike Sattler[2] |
| Website | lat |
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]
- ^ a b c Franz Baader at the Mathematics Genealogy Project
- ^ 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.
- ^ http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page
- ^ Franz Baader publications indexed by Google Scholar
- ^ Franz Baader at DBLP Bibliography Server
- ^ "Hochschule Darmstadt: Franz Baader". Archived from the original on 2011-07-19. Retrieved 2010-02-25.
- ^ "Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 18 July 2021.
