Ulrike Sattler#

Email:sattler 'at' cs.man.ac.uk
Membership Number:3489
Membership type:ORDINARY
Main Country of Residence:UNITED KINGDOM
Section:INFORMATICS
Username:usattler
Elected:2013
Homepage: 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 updated on Tuesday, 29. October 2013, 13:55 by Kaiser Dana
  • operated by