Uli Sattler

Uli Sattler is a Professor in the Computer Science Department at the University of Manchester, specializing in logics for knowledge representation and automated deduction. He holds a PhD from RWTH Aachen (1998) and a habilitation from TU Dresden (2003). His research focuses on Description Logics, ontology engineering, and their applications in fields like molecular biology. He contributes to ontology languages such as OWL and develops practical inference algorithms.

Research Interests: Description Logics, automated reasoning, ontology engineering, and their integration with AI systems. His work addresses challenges like module extraction, entailment explanation, and decision procedures using automata and tableau techniques.

Awards:

• Best Paper Award (2008)
• ISWC Best Student Paper Award (2011)
• SWSA Ten-Year Award (2018)

Advising & Grants: Supervised 17 students and participated in initiatives like Gender Advancement through Transforming Institutions. Active in organizing conferences and peer-review panels.

Labs/Teams: Part of the Information Management Group and the Data Science Institute at the University of Manchester.