• Lecturer in the Department of Computer Science, the University of Liverpool, member of the Logic and Computation Group.
• Still strongly connected to Steklov Institute of Mathematics at St. Petersburg
  

Publications

Teaching

Admin

Projects

Activities

Software

Contact

CV

NEW

• Call for papers: Special issue of AI Communications on Practical Aspects of Automated Reasoning

Areas of Interest

• In Semester 2 of Academic Year 2009-2010, I will teach:  COMP212: Distributed systems.
  
• This year, I am offering the following
  • BSc projects
  • MSc projects

Administrative duties

Projects

• Dynamic Ontologies: a Framework for Services Descriptions

Professional Activities

• Co-chair of the 7th International Workshop on the Implementation of Logics, November, 2008, Doha, Qatar
• Co-chair of the IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008)
• FroCoS'07 Conference Chair
• JELIA'06 Tool Session Chair
• Special Issue on implementation of logics of the Journal of Applied Non-Classical Logics
  
• Co-chair of the 4-th International Workshop on the Implementation of Logics, Almaty, Kazakhstan, 2003 (held in connection with the LPAR'03 conference).
• Co-chair of the 5-th International Workshop on the Implementation of Logics, Montevideo, Uruguay, 2006 (held in connection with the LPAR'04 conference).

Address