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

Imprint Privacy policy « This page (revision-6) was last changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by