Michael Fisher         

I am now Professor of Computer Science in the Department of Computer Science at the University of Manchester, though maintain an honorary position at the University of Liverpool.

• If you are looking for my new email address, it is michael.fisher@manchester.ac.uk though my Liverpool one should still work (and is checked irregularly).


• If you are looking for my Manchester web page, it is here.


• Information on the IEEE Technical Committee on the Verification of Autonomous Systems


• Research outputs: DBLP; Google Scholar