Michael Fisher

1

Article

0

Comments

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

Contact Michael for

  • General
  • Media request
  • Speaking request
  • Consulting / Advising
  • Research collaboration
  • Research supervision