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.