About
Professor Boris Konev is Professor of Computer Science and Dean of the School of Computer Science and Informatics at the University of Liverpool. He provides academic and strategic leadership for the School, supporting its research, education, and external partnerships while contributing to the wider development of computer science and artificial intelligence across the University.
Alongside his role as Dean, he leads a research team working on logic, automated reasoning, ontologies, and formal methods, supervising doctoral researchers and research staff. His particular interests include description logics, temporal logic, specification and verification formalisms, proof complexity, and deduction systems. His work spans both foundational and applied aspects of formal methods, combining rigorous theoretical research with practical applications.