Professor of Computer Science, specialising in logical methods and automated formal verification, and Director of the multi-disciplinary Centre for Autonomous Systems Technology ( http://www.liv.ac.uk/cast ) at the University of Liverpool.
Experience
–present
Professor of Computer Science, University of Liverpool