Skip to content Search
Search our website:
Michael Zakharyaschev

Michael Zakharyaschev

Professor of Computer Science, Director of Research
Teaches: Fundamentals of Computing, Introduction to Semantic Technologies, Semantic Technologies

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
MAL265
Telephone
020 3926 1253
Email address
Enable JavaScript to view protected content.
Personal web page
http://www.dcs.bbk.ac.uk/~michael

Research

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