Skip to content Search
Search our website:
Michael Zakharyaschev

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

MAL 265
020 3926 1253
Email address
web page


Areas of interest: Knowledge representation and reasoning, logic, ontology-based data access, semantic web