Franz Baader

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

For the German ice hockey referee and linesman, see Franz Baader (ice hockey).
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 (1989)
Doctoral advisorKlaus Leeb
Doctoral studentsUlrike Sattler
Websitelat.inf.tu-dresden.de/~baader/index-en.html

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.

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.