I am Professor and Dean of School of Electrical Engineering, Electronics, and Computer Science, the University of Liverpool, UK. 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. See also my Google Scholar profile and DBLP page.