Prof Michael Zakharyaschev

Overview

Highlights

• Google Scholar profile

• Principal investigator of EPSRC funded projects:

  quantMD: Ontology-Based Management for Many-Dimensional Quantitative Data (2019-22) 

  iTract: Islands of Tractability in Ontology-Based Data Access (2015-18)

  ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access (2010-13)

  Computational Logic of Euclidean Spaces (2007-10)

  Dynamic Ontologies: a Framework for Service Descriptions (2004-07)

  Knowledge Representation & Reasoning about Distances (2004-07)

  Analysis and mechanisation of decidable first-order temporal logics (2001-04)

• Complexity analysis of reasoning in combined knowledge representation systems (2001-04)

Qualifications

• PhD, Habil. in mathematics

Web profiles

• Homepage

Administrative responsibilities

• School Research Lead
• School REF lead

Honours and awards

• Alexander von Humboldt Fellowship (FU Berlin), Alexander von Humboldt Foundation, June 1995

ORCID

0000-0002-2210-5183

Research

Research interests

• Knowledge Representation and Reasoning
• Logic in computer science
• Mathematical logic, modal logic

Research overview

Journal and conference publications:

DBLP Computer Science bibliography

Personal Website

Research monographs:

Many-Dimensional Modal Logics: Theory and Applications Elsevier, 2003

Modal Logic Oxford University Press, 1997

Edited books:

Available on Amazon.co.uk

Research clusters and groups

• Knowledge Representation and Data Management
• London Logic Forum

Supervision and teaching

Supervision

Supervisions within Birkbeck:

1

Current doctoral researchers

• SALVATORE RAPISARDA

  Nature of supervision:

  Joint Principal Supervisor, Jan 2016 onwards

  Title of thesis:

  Ontology-Based Data Access: Query Rewriting and Optimisation

Teaching

Teaching modules

• Analytical Foundations of Data Science (BUCI091H7)
• Fundamentals of Computing (COIY058H7)

Publications

External Repositories