Boris Konev

Publications

Teaching

Projects

Activities

Software

Contact

CV


Areas of Interest

Description logic, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal techniques.
List of publications



Teaching
If you wish to see me, I prefer you to make an appointment first by email.

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


Address

The University of Liverpool
Department of Computer Science
Liverpool L69 3BX
United Kingdom
Phone: +44 (151) 795 4260 
FAX: +44 (151) 795 4235
Email: Konev [at] liverpool [dot] ac [dot] uk
Office: Room 1.15 (Ashton building)


Maintained by Boris Konev, B.Konev@csc.liv.ac.ukLast updated October 2005.