Professor Frank Wolter

简介

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 my Habilitation in Computer Science with work on combined