Franz Baader#
| Membership Number: | 2935 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2011 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | 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 Association for Artificial Intelligence (EurAI Fellow) https://www.eurai.org/awards_and_grants/fellows
- 2020: Herbrand Award for Distinguished Contributions to Automated Reasoning https://www.cadeinc.org/Herbrand-Award
