Skip to content Search
Search our website:

Michael Zakharyaschev

Michael Zakharyaschev

Professor of Computer Science, Director of Research

Room
MAL161
Office hours
Monday 17:20-17:50
Telephone
020 7631 6716
Fax
020 7631 6727
Email address
Enable JavaScript to view protected content.
Personal web page
http://www.dcs.bbk.ac.uk/~michael
Publications
DBLP BIROn

Biog

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.

Research areas

knowledge representation and reasoning, logic, ontology-based data access, semantic web

Research groups

Currently teaching