 | Michael Zakharyaschev Professor of Computer Science, Director of Research room: MAL161 tel: 020 7631 6716 fax: 020 7631 6727 email: personal web-page: http://www.dcs.bbk.ac.uk/~michael 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. postal address: Computer Science and Information Systems Birkbeck (University of London) Malet Street LONDON WC1E 7HX |