Dr. Renate Schmidt

Biography

Renate Schmidt is a University Reader at the University of Manchester, where she leads the Postgraduate Research Group in Formal Methods. She has made significant contributions to the fields of automated reasoning, knowledge representation, and formal methods, publishing widely on topics including ontology engineering, symbolic AI, and decision problems. Her research focuses on the theoretical underpinnings and practical applications of automated reasoning methods. She has served as Associate Editor for several leading journals and has held various academic leadership positions. With a Doctorate in Engineering from Universitat des Saarlandes, she is committed to mentoring PhD students and guiding research in advanced knowledge representation and automated reasoning. Renate is particularly interested in supervising projects that intersect with healthcare services and the development of medical ontologies, as well as engaging with critical problems such as query answering in expressive description logics.

Research Interests