Franz Baader
Template:Short description Script error: No such module "For". Script error: No such module "Template wrapper".Template:Main otherScript error: No such module "Check for clobbered parameters".Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology.[1][2][3]
He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany,[4] 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.[5]
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".[6]
Works
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
References
Template:Germany-compu-bio-stub
- ↑ http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page
- ↑ Template:GoogleScholar
- ↑ Template:DBLP
- ↑ Template:PAGENAMEBASE at the Mathematics Genealogy ProjectTemplate:EditAtWikidata
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".