Michael Zakharyaschev
Professor of Computer Science, Director of Research
BSc and MSc (Moscow State University), PhD and Habilitation in Mathematics (Novosibirsk University). Research scientist at Keldysh Institute of Applied Mathematics (Russian Academy of Sciences), Alexander von Humboldt Foundation fellow (FU Berlin), Professor of Logic and Computation at King's College London (2001-2005). Research interests: knowledge representation and reasoning (spatial, temporal, etc.), logic in computer science, in particular, modal and description logics.
Contact Information
- Room
- MAL 265
- Telephone
- 020 3926 1253
- Email address
- Personal
- web page
Research
Areas of interest: Knowledge representation and reasoning, logic, ontology-based data access, semantic web
Key Publications
- Query inseparability for ALC ontologies. (2019)
- Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. (2019)
- Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. (2018)
- Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. (2014)