Frank Wolter

Frank Wolter is a Professor for Logic and Computation at the University of Liverpool's Department of Computer Science. His research focuses on Knowledge Representation and Reasoning, Logic in Computer Science, Description Logic, and related areas. He has held significant editorial roles, including co-editing the Handbook of Modal Logic (2007) and multiple conference proceedings.

He has been recognized with numerous awards, including Best Paper Awards at KR 2000, KR 2008, KR 2010, ISWC 2013, and PODS 2017, as well as the Elected EurAI Fellow (2023). His work includes foundational contributions to ontology-based data access and query answering, with a focus on computational complexity and formal methods.

Wolter has supervised multiple PhD students, including Oliver Kutz, Sebastian Bauer, and Hadrien Pulcini. He has been involved in projects funded by EPSRC (e.g., Dynamic Ontologies, Knowledge Representation and Reasoning about Distances, and quantMD), addressing challenges in combining logics and modular ontologies. He actively participates in academic events, serving on program committees for conferences like IJCAI, AAAI, and KR, and has organized workshops on topics such as Craig Interpolation and the Decision Problem in First-Order Logic.