Ulrike Sattler#
Membership Number: | 3489 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2013 |
Main Country of Residence: | UNITED KINGDOM |
Homepage(s): | http://www.cs.man.ac.uk/~sattler |
Present and Previous Positions
- Since 2007, 08 Professor in the Department of the School of Computer Science, University of Manchester
- 2006, 08 - 2007, 07 Reader in the School of Computer Science, University of Manchester
- 2003, 07- 2006, 07 Senior Lecturer in the School of Computer Science, University of Manchester
- 2002, 04 - 2003, 06 Senior Researcher (Wissenschaftliche Assistentin) in the Institute for Theoretical Computer Science, TU Dresden
- 2000, 10 - 2000, 12 Guest Researcher at Rice University in Houston, Texas, visiting Prof. Moshe Vardi, sponsored by the DAAD
- 1998, 09 - 2002, 03 Senior researcher (Wissenschaftliche Assistentin) at the RWTH Aachen
Fields of Scholarship
- Logic
- Automated reasoning
- Ontology languages
- Knowledge representation
- Tableau algorithms
- Description logic
- Computation complexity
- Modal logic
Honours and Awards
- 1999 Friedrich Wilhelm Preis of the University of Technology Aachen for her PhD thesis