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 the BCS and the IET, and am currently on partial secondment to the Department for Science, Innovation and Technology, advising on aspects of AI.

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
• Recent research (2023): "Security-Minded Verification of Cooperative Awareness Msgs"
• 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
• Policy@Manchester article, (2022): "... not just Engineering for Sustainability"
• NEW PROJECT: Jacobs + Manchester = CRADLE Prosperity Partnership
• Organising: Neuro-Symbolic AI group