About
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 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.
Prizes or Honours
- EurAI Fellow (European Association for Artificial Intelligence, 2023)
- PODS Test of Time Award 2023 (ACM Special Interest Group on Management of Data (SIGMOD), 2023)
- Runner-up Best Paper Award (Principles of Knowledge Representation and Reasoning (KR), 2021)
- Runner-Up Best Paper Award (Principles of Knowledge Representation and Reasoning (KR), 2020)
- Distinguished Paper Award (International Joint Conference on Artificial Intelligence, (IJCAI), 2018)
- Best Paper Award (ACM SIGMOD-SIGACT-SIGAI Symposium on PRINCIPLES OF DATABASE SYSTEMS (PODS 2017), 2017)
- Best Paper Award (International Semantic Web Conference (ISWC) 2013, 2013)
- Ray Reiter Best Paper Award (International Conference on Principles of Knowledge Representation and Reasoning (KR), 2010)
- Ray Reiter Best Paper Award (International Conference on Principles of Knowledge Representation and Reasoning (KR), 2008)