Franz Baader (15 June 1959,

Spalt Spalt ( Northern Bavarian: ''Schbåld'') is a town in the district of Roth, in Bavaria, Germany. It is situated 19 km southwest of Schwabach. Spalt is famous for growing hops for brewing beer. Geography Spalt is situated between Nuremberg, ...

) is a German

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

Dresden University of Technology TU Dresden (for german: Technische Universität Dresden, abbreviated as TUD and often wrongly translated as "Dresden University of Technology") is a public research university, the largest institute of higher education in the city of Dresden, th ...

. He received his PhD in Computer Science in 1989 from the

University of Erlangen-Nuremberg A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, t ...

Germany Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated betwe ...

, where he was a teaching and research assistant for 4 years. In 1989, he went to the

German Research Centre for Artificial Intelligence The German Research Center for Artificial Intelligence (German: ''Deutsches Forschungszentrum für Künstliche Intelligenz'', DFKI) is one of the world's largest nonprofit contract research institutes for software technology based on artificial in ...

(DFKI) as a senior researcher and project leader. In 1993 he became associate professor for computer science at

RWTH Aachen RWTH Aachen University (), also known as North Rhine-Westphalia Technical University of Aachen, Rhine-Westphalia Technical University of Aachen, Technical University of Aachen, University of Aachen, or ''Rheinisch-Westfälische Technische Hoch ...

, and in 2002 full professor for computer science at

TU Dresden TU Dresden (for german: Technische Universität Dresden, abbreviated as TUD and often wrongly translated as "Dresden University of Technology") is a public research university, the largest institute of higher education in the city of Dresden, th ...

. He received the

Herbrand Award The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by the Conference on Automated Deduction (CADE), Inc., (although it predates the formal incorporation of CADE) to honour persons or groups for important cont ...

for the year 2020 "in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics".

Works

* * * *

References

German computer scientists Living people 1959 births People from Roth (district) {{Germany-compu-bio-stub