Research projects

• 2010-now, Automated Prover Generation (funded by EPSRC).
• 2007-2009, Practical Reasoning Approaches for Web Ontologies and Multi-Agent Systems (funded by EPSRC).
• 2004-2007, Knowledge Representation and Reasoning about Distances (funded by EPSRC).
• 2001-2004, Proof Methods for Multi-Agent Systems (funded by EPSRC).
• 2000-2001, Non-Classical Logics (funded by the Russian Fund for the Humanities),
  PI: Prof. L. Maksimova.
• 1997-1998, Non-Classical Logics (funded by the Russian Fund for the Humanities),
  PI: Prof. L. Maksimova.
• 1995-1997, Non-Traditional Logical Systems and Logical and Algebraic Aspects of Computer Science (funded by the Russian Federation State Committee for Higher Education),
  PI: Prof. L. Maksimova.

Selected publications

---

Colleagues Anatoli Degtyarev Clare Dixon Ian Hodkinson Ullrich Hustadt Boris Konev Agi Kurucz Vladimir Rybakov Renate A. Schmidt Mikhail Sheremet Frank Wolter Michael Zakharyaschev

Research interests Modal and temporal logics Knowledge representation and reasoning Description logics Multi-agent systems Automated theorem proving Intuitionistic and intermediate logics Algebraisation of logics