Prof Frank Wolter

Professor Computer Science


    Personal Statement

    In 1991, I defended my German Diploma (corresponds to MSc) in Mathematics and Philosophy at FU Berlin. My supervisors were Professor Wolgang Rautenberg and Dr Marcus Kracht. My diploma thesis on properties of independently axiomatizable bimodal logics was published in 1991 in the Journal of Symbolic Logic. In 1993, I received a PhD in Mathematics at FU Berlin for work on Lattices of Modal Logics which was subsequently published in the Annals of Pure and Applied Logic. From 1994 to 1997 I was a Research Associate under the supervision of Professor Hiroakira Ono at the Japan Advanced Institute of Science and Technology in Kanazawa, Japan. I then moved to Leipzig and joined the group of Professor Gerhard Brewka. In Leipzig, I defended by Habilitation in Computer Science with work on combined modal logics in 2000.
    Since 2003 I am a Full Professor of Logic and Computation in the Department of Computer Science at the University of Liverpool.

    Personal Distinctions

    • Guest Professor at Japan Advanced Institute of Science and Technology (JAIST 2011)
    • Ray Reiter Best Paper Award (KR 2010)
    • Ray Reiter Best Paper Award KR 2008 (Prize, Best Paper Award at International Conference on Principles of Knowledge Representation and Reasoning 2008, Sydney 2008)

    Administrative Roles

    • REF Coordinator