Michael Zakharyaschev
Professor of Computer Science, Director of Research
- Room
- MAL265
- Office hours
- Monday 17:20-17:50
- Telephone
- 020 3926 1253
- 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