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

Publications

Teaching

Projects

Activities

Software

Contact

CV

Areas of Interest

• In Semester 2 of Academic Year 2011-2012, I teach:  COMP212: Distributed systems and COMP222: Principles of Computer Game Design and Implementation

Projects

• Principle investigator on the EPSRC “Logical difference for ontology versioning”
  
• Co-investigator on the KTP grant “Design and manufacture equine physical simulators in the areas of dressage training, racing and polo”

Professional Activities

• Co-chair of the 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR2010).
  
• 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