Uli Sattler's research interests are in logics for knowledge representation and automated deduction. More specifically, she is interested in Description, Modal, and Dynamic Logics, the corresponding inference problems, their complexity, and decision procedures for these problems. Together with Ian Horrocks, she developed the SH-family of DLs which are underlying the ontology languages such as OWL. She obtained her PhD in Computer Science from RWTH Aachen in 1998, where she was a member of Franz Baader's group. After moving with this group to Dresden in 2002, she joined the Information Management Group of the University of Manchester in 2003, where she is currently a Reader.