Franz Baader

Updated on Oct 01, 2024

Edit

Comment

Doctoral advisor Klaus Leeb Name Franz Baader		Role Computer scientist Notable students Ulrike Sattler

Born 15 June 1959 (age 65) ( 1959-06-15 ) Institutions Dresden University of Technology,RWTH Aachen University,University of Erlangen-Nuremberg,German Research Centre for Artificial Intelligence Thesis Unifikation und Reduktionssysteme fur Halbgruppenvarietaten (1989) Doctoral students Can AlbayrakStefan BorgwardtSebastian Brandt Felix DistelJan HladikMartin KnechtelRalf KustersMarcel LippmannHongkai LiuCarsten LutzMaja MilicicRalf MolitorRafael PenalozaJorn RichtsUlrike SattlerBaris SertkayaBoontawee SuntisrivarapornStephan TobiesChristopher TrespAnni-Yasmin Turhan Books Term rewriting and all that Similar People Ulrike Sattler, Andrei Voronkov, Bernhard Nebel, Klaus Leeb

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

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.

Works

Franz Baader, Tobias Nipkow, Term Rewriting and All That, (1998) Cambridge University Press.

Franz Baader, ed. (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press. ISBN 978-0-521-78176-3.

Franz Baader, Andreĭ Voronkov, eds. (2005). Logic for programming, artificial intelligence, and reasoning: 11th international conference. Springer. ISBN 978-3-540-25236-8. CS1 maint: Uses editors parameter (link)

References

Franz Baader Wikipedia

(Text) CC BY-SA