Renate Schmidt

Renate Schmidt is a Reader in Formal Methods, specializing in automated reasoning, knowledge representation, and ontology engineering. She is actively involved in supervising PhD students and contributing to interdisciplinary research initiatives such as the Centre for Robotics and Artificial Intelligence (RAI). Her work bridges theoretical advancements in logic-based systems with practical applications in AI and healthcare.

• Research Interests: Computational Logic, Knowledge-Based AI, Description Logics, Tableau Calculi, and Forgetting-Based Techniques
• Editorial Roles: Associate Editor of the Artificial Intelligence Journal and Journal of Artificial Intelligence Research
• Key Projects: Leading research on ontology engineering for clinical information systems and query answering in guarded quantification fragments

Her research emphasizes foundational contributions to automated reasoning, including advancements in theorem proving and logical frameworks. Collaborations span international teams, addressing challenges in medical informatics and robotics through formal methods.