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 also chair the BSI Committee on Sustainable Robotics, co-chair the IEEE Technical Committee on the Verification of Autonomous Systems, and am a member of both the BSI AMT/10 committee on Robotics and the IEEE P7009 Standards committee on Fail-Safe Design of Autonomous Systems.

Some Recent Updates

• Prosperity Partnership: CRADLE = Jacobs + Manchester Centre for Robotics and AI
• Recent research (2024): "Parameterized Verification of Leader/Follower Systems"
• Co-chair: "It Works Really Well!": Verification in Theory and Practice (IROS-23 Workshop)
• Recent research (2023): "Trustworthy Autonomous Systems Through Verifiability"
• Updated: Guide to the Ethical Design and Application of Robots and Robotic Systems
• Recent research (2023): "Security-Minded Verification of Cooperative Awareness Msgs"
• Policy@Manchester article, (2022): "... not just Engineering for Sustainability"
• Co-organising: Neuro-Symbolic AI group