Sneha Girap (Editor)

Ulrike Sattler

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Nationality
  
German

Name
  
Ulrike Sattler

Doctoral advisor
  

Ulrike Sattler httpsuploadwikimediaorgwikipediacommonsthu

Fields
  
Description LogicsOntology EngineeringAutomated Reasoning

Institutions
  
University of ManchesterDresden University of TechnologyRice UniversityRWTH Aachen University

Thesis
  
Technological Knowledge Representation Systems in a Chemical Engineering Application (1998)

Doctoral students
  
Tahani AlsubaitSamantha BailChiara Del VescovoRafael GoncalvesMatthew HorridgePavel KlinovPeihong KeJared LeoNicolas MatentzogluBirte GlimmViachaslau Sazonau

Known for
  
Books
  
Terminological Knowledge Representation Systems in a Process Engineering Application

Ulrike sattler kommunalprogramm 2014


Ulrike M. Sattler is a professor of computer science in the information management group of the School of Computer Science at the University of Manchester where she is director of postgraduate studies.

Contents

Education

Sattler completed her PhD in 1998 under the supervision of Franz Baader at RWTH Aachen University. She moved to the University of Manchester as Lecturer in 2002, was promoted senior lecturer in 2003, reader in 2006 and then a professor in 2007.

Research

Sattler's research focuses on logic to support knowledge representation including description logic, Dynamic logic and Modal logic. She is also investigating the inference problems, complexity theory and decision procedures associated with knowledge representation. This research has been important in the development of the Web Ontology Language (OWL) and its use in bioinformatics and molecular biology.

Sattler's research has been partly funded by the Engineering and Physical Sciences Research Council.

Academic Service

Sattler is an editor of the Journal of Logic and Computation, on the editorial board of the Journal of Automated Reasoning, and a chair for various conferences including the International Joint Conference on Automated Reasoning.

Awards

Sattler was elected a member of the Academia Europaea (MAE) in 2014. She was co-recipient of the best paper prize at the International Semantic Web Conference in 2008.

References

Ulrike Sattler Wikipedia


Similar Topics