Scholar
Michael Fisher
Google Scholar ID: ObjR3wwAAAAJ
Professor of Computer Science, University of Manchester
Citations & Impact
Citations
3,875
H-index
33
i10-index
87
Publications
20
Co-authors
39
list available
Publications
Resume (English only)
Academic Achievements
- Updated (2023): Guide to the Ethical Design and Application of Robotic Systems (BS8611); Recent research (2024): 'Security-Minded Verification of Cooperative Awareness Msgs', 'Parameterized Verification of Leader/Follower Systems'; IEEE Standard (2024): 'Fail-Safe Design of Autonomous Systems' (IEEE 7009-2024); Co-organising: Neuro-Symbolic AI group; BCS Thought Leadership: Responsible Development of Technology; Recent research (2025): 'Expedited BDI...'.
Research Experience
- Academic lead for CRADLE; co-chair of the IEEE Technical Committee on Verification of Autonomous Systems; Senior Associate Editor of the Annals of Mathematics and Artificial Intelligence journal; involved in standards on Sustainable Robotics and Fail-Safe Design of Autonomous Systems.
Background
- Holds a Royal Academy of Engineering Chair in Emerging Technologies at the Department of Computer Science, University of Manchester. Fellow of BCS and IET. On partial secondment to the UK's Department for Science, Innovation and Technology, advising on aspects of AI and Robotics.
Miscellany
- Thanks to Builee Com, Mark Fletcher-Brown, Alex Knight, Duy Pham, Science in HD for sharing their work on Unsplash.
