Michael Zakharyaschev Profile Page

Profile

Name: Prof Michael Zakharyaschev
About:

Michael Zakharyaschev is a professor of computer science at Birkbeck College. His research areas include:

  • Knowledge representation and reasoning
  • Mathematical and computer science logic
  • Modal and temporal logics
  • Description logics
  • Spatial and temporal reasoning
  • Automated theorem proving
  • Intuitionistic and intermediate logics

 

Contact Email: This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
Phone Number: 020 7631 6716
Department Profile Page: www.dcs.bbk.ac.uk/~michael/

LKL News

There are currently no LKL news items with Michael Zakharyaschev.

Full LKL news listing

LKL Events

There are currently no LKL events with Michael Zakharyaschev.

Full LKL event listing

LKL Research

Michael Zakharyaschev is participating in the following LKL research projects:
(bold = current)
Title
Computational Logic of Euclidean Spaces
ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data A

Full LKL research projects listing

LKL Co-Directors

Select

Profiles

  • Alumni of Excellence
    Dr Sergio Gutiérrez-Santos has received an Alumni of Excellence Award from his alma mater University Carlos III of Madrid. This recognition is awarded to the recent alumnus (graduated in the ...
  • The Unteachable
    LKL's Co-Director Professor Richard Noss delivered his public lecture Learning the Unlearnable: Teaching the Unteachable at the Melbourne Graduate School of Education on 21st February to an audience of 450 ...
  • Live online debate between Diana Laurillard and Stephen Downes
    LKL's Diana Laurillard and Canadian researcher Stephen Downes presented contrasting responses to the question: To what extent should learning design be supported computationally? Organised by the Association for Learning Technology, ...
  • Miegunyah Fellowship for Prof Richard Noss
    Richard Noss, co-director of the London Knowledge Lab, has been awarded a 2012 Miegunyah Fellowship by the University of Melbourne. Richard will disseminate the findings of the Technology ...
  • Presentation Award for Tim Neumann
    LKL's Tim Neumann won a best short presentation award at the Association for Learning Technology Conference 2011 at the University of Leeds for his Pecha-Kucha-style presentation Matchmaking Learning Technologists and ...