Michael Fisher
I hold a
Royal
Academy of Engineering
Chair
in Emerging Technologies in the
Department of Computer
Science at the
University of
Manchester. I am Fellow
of the
BCS and the
IET, and am on partial secondment to the UK's Department for
Science, Innovation and Technology, advising on aspects of AI and Robotics.
I am academic lead for CRADLE, co-chair of the IEEE Technical Committee on the Verification of Autonomous Systems, Senior Associate Editor of the Annals of Mathematics and Artificial Intelligence journal, and am involved in standards on both Sustainable Robotics and Fail-Safe Design of Autonomous Systems.
Some Recent Updates
- Prosperity Partnership: CRADLE = Amentum + Manchester Centre for Robotics and AI
- Updated (2023): Guide to the Ethical Design and Application of Robotic Systems (BS8611)
- Recent research (2024): "Security-Minded Verification of Cooperative Awareness Msgs"
- IEEE Standard (2024):"Fail-Safe Design of Autonomous Systems" (IEEE 7009-2024)
- Recent research (2024): "Parameterized Verification of Leader/Follower Systems"
- Co-organising: Neuro-Symbolic AI group
- BCS Thought Leadership: Responsible Development of Technology
- Recent research (2025): "Expedited BDI..."