Experience
    Education
    Bio
    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.
    Base InfoPapersPatentsProjects