Professor of Computer Science, University of Liverpool

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

Education

  • 1987 
    University of Manchester, PhD in Computer Science