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 both BCS and IET, and sit on the EPSRC's Strategic Advisory Network.

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

• RESEARCHER VACANCY: Robotic Software Engineering/Architectures/Verification
• NEW BOOK: Verifiable Autonomous Systems
• Co-chair: "It Works Really Well!": Verification in Theory and Practice (IROS Workshop)
• Recent research (2023): "Trustworthy Autonomous Systems Through Verifiability"
• Updated: Guide to the Ethical Design and Application of Robots and Robotic Systems
• Policy@Manchester article, (2022): "... not just Engineering for Sustainability"
• NEW PROJECT: Jacobs + Manchester = CRADLE Prosperity Partnership
• Organising: Neuro-Symbolic AI group