Photo of Prof Boris Konev

Prof Boris Konev

Professor of Computer Science Computer Science

    About

    Personal Statement

    I am Professor and Interim Head in the Department of Computer Science at the University of Liverpool, UK and member of the Knowledge Representation Research Group. 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.