HOME

TheInfoList



Click Here for Items Related To - Franz Baader
OR:
Franz Baader on:   [Wikipedia]   [Google]   [Amazon]

Franz Baader (15 June 1959, Spalt) is a German
computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...
at Dresden University of Technology. He received his PhD in Computer Science in 1989 from the
University of Erlangen-Nuremberg A university () is an institution of tertiary education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase , which roughly means "community of teachers and scholars". Univ ...
,
Germany Germany, officially the Federal Republic of Germany, is a country in Central Europe. It lies between the Baltic Sea and the North Sea to the north and the Alps to the south. Its sixteen States of Germany, constituent states have a total popu ...
, 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 RWTH Aachen University (), in German ''Rheinisch-Westfälische Technische Hochschule Aachen'', is a German public research university located in Aachen, North Rhine-Westphalia, Germany. With more than 47,000 students enrolled in 144 study prog ...
, and in 2002 full professor for computer science at
TU Dresden TU Dresden (for , abbreviated as TUD), also as the Dresden University of Technology, is a public research university in Dresden, Germany. It is the largest institute of higher education in the city of Dresden, the largest university in Saxony a ...
. 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 logic Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are ...
s".


Works

* * * *


References

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