Prof Michael Zakharyaschev

Overview

Qualifications

• Alma Mater: Faculty of Computational Mathematics and Cybernetics, Moscow State University, Russia
• PhD in mathematics, Novosibirsk State University, Russia, 1985
• Habilitation in Mathematics, Novosibirsk State University, Russia, 1998
• Alexander von Humboldt Stiftung: Research Fellow at Freie Universitat Berlin (1995-97)

Web profiles

• Homepage

Administrative responsibilities

• School Research Lead
• School REF lead

ORCID

0000-0002-2210-5183

Research

Research interests

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

Research overview

Principal Investigator in 8 funded three-year EPSRC projects

Journal and conference publications:

Google Scholar profile

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

• Logical Methods
• London Logic Forum

Supervision and teaching

Supervision

Supervisions within Birkbeck:

1

Doctoral alumni since 2013-14

• SALVATORE RAPISARDA

  Nature of supervision:

  Joint Principal Supervisor, Jan 2016

  Title of thesis:

  Optimisation of Non-Recursive Datalog Rewritings for Parallelisable Ontology-Based Data Access

  Awarded:

  2025

Teaching

Teaching modules

• Fundamentals of Computing (COIY058H7)

Publications

External Repositories