Photo of Prof Boris Konev

Prof Boris Konev

Professor of Computer Science Computer Science

    Research

    Research interests

    My research interests include description logics, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal methods.

    Research Grants

    iTract: Islands of Tractability in Ontology-Based Data Access

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    July 2015 - November 2018

    Introduce and embed core software skills in the company to enable design and development of new and advanced equine simulators and online services

    RACEWOOD LIMITED (UK)

    July 2010 - July 2012

    Efficient sequent-type proof search without skolemization in classical and non-classical logics.

    THE NUFFIELD FOUNDATION (UK)

    April 2004 - September 2006

    Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    September 2007 - November 2007

    Composing and decomposing ontologies: a logic-based approach

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    July 2007 - June 2010

    Logical difference for ontology versioning

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    September 2010 - January 2014