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.
His research is in the broad area of logic in computer science, with interests in description logics, ontologies, automated reasoning, 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 relevance.