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