Skip to main content
Boris Konev

Professor Boris Konev

Contact

Boris.Konev@liverpool.ac.uk

http://www.csc.liv.ac.uk/~konev

+44 (0)151 795 4260

+44 (0)151 795 4260 Ext. 54260

About

I am a professor of computer science and Dean of the School of Electrical Engineering, Electronics and Computer Science at the University of Liverpool. 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.