Franz Baader#


Franz Baader
Email:franz.baader 'at' tu-dresden.de
Membership Number:2935
Membership type:ORDINARY
Main Country of Residence:GERMANY
Section:INFORMATICS
Username:fbaader
Elected:2011
Homepage: http://lat.inf.tu-dresden.de/~baader/index-en.html





Present and Previous Positions
  • 2012, 12 to 2015, 12: Dean of the Faculty of Computer Science at TU Dresden
  • 2007, 8 to 2008, 3: visiting scholar at the National ICT Australia Inc. (NICTA), Canberra, Australia
  • 2006, 4 to PRESENT: director of the Institute for Theoretical Computer Science, TU Dresden, Germany
  • 2003, 11 to 2004, 2: visiting researcher at the National ICT Australia Inc. (NICTA), Canberra, Australia
  • 2002, 4 to PRESENT: full professor for Theoretical Computer Science, TU Dresden, Germany
  • 1993, 10 to 2002, 3: assistant professor for Theoretical Computer Science, RWTH Aachen, Germany
  • 1989, 9 to 1993, 9: senior researcher, German Research Institute for Artificial Intelligence (DFKI), Kaiserslautern and Saarbrücken, Germany
  • 1985, 10 to 1989, 8: research assistant, Friedrich-Alexander University Erlangen-Nürnberg, Germany


Fields of Scholarship
  • Logic in computer science
  • Knowledge representation
  • Description logics
  • Automated deduction
  • Term rewriting
  • Unification theory
  • Automata theory


Honours and Awards
  • 2004: Fellow of the European Coordinating Committee for Artificial Intelligence (ECCAI Fellow)


Imprint Privacy policy « This page (revision-6) was last updated on Saturday, 16. January 2016, 17:50 by Baader Franz
  • operated by