Renate Schmidt

Renate Schmidt is a Reader in Computer Science at the University of Manchester, Department of Computer Science. She leads the Formal Methods Research Group and serves as Head of Postgraduate Research. Her research focuses on knowledge representation, automated symbolic reasoning, and formal methods, with contributions to automated reasoning methods, decision procedures, and ontology engineering. She is an Associate Editor for several journals and has served on numerous editorial and program committees. Schmidt's work addresses decision problems in logic and computation, including resolution and tableau decision procedures, automated prover generation, and knowledge base extraction. She is also involved in PhD supervision and has published extensively in areas such as automated reasoning, non-classical logics, and relation algebras.

Renate A Schmidt is a researcher in Automated Reasoning, Knowledge Engineering, and Artificial Intelligence. Her work focuses on developing automated deduction systems, decision procedures for modal logics, and resolution-based methods for logical reasoning. She has contributed to the design of systems such as SPASS and SOLAR, which are used for consequence finding and modal reasoning. Her research also explores computational aspects of modal logic, including second-order quantifier elimination and uniform interpolation for description logics. Schmidt's publications highlight her expertise in bridging theoretical logic with practical applications in knowledge representation and automated reasoning.