Franz Baader#
| Email: | baader 'at' inf.tu-dresden.de |
| Membership Number: | 2935 |
| Main Country of Residence: | GERMANY |
| Section: | INFORMATICS |
| Username: | fbaader |
Present and Previous Positions
- 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)
| operated by | 
|