Michael Fisher

I am Professor of Computer Science in the Department of Computer Science at the University of Manchester, Fellow of both BCS and IET, and hold a Royal Academy of Engineering Chair in Emerging Technology.

I co-chair the IEEE Technical Committee on the Verification of Autonomous Systems, and am a member of both the IEEE P7009 Standards committee on Fail-Safe Design of Autonomous Systems and the BSI AMT/10 committee on Robotics.

firefox-gray

Elephant at sunset — RESEARCH

Michael Fisher: Research Projects — PROJECTS

Elephant at sunset — STANDARDS and COMMITTEES

Michael Fisher: Oublic Engagement — PUBLIC ENGAGEMENT

Elephant at sunset — RESEARCH GROUP

Elephant at sunset — TEXTBOOK

Some Recent Updates

Recent article (IJRR, 2020): "A Corroborative Approach to Verification and Validation of Human-Robot Teams"
Chair: Greater Autonomy in Space

Recent article (AAAI, 2019): "Probabilistic Model Checking of Robots Deployed in Extreme Environments"

Recent article (Proc. IEEE, 2019): "On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots"

Speaker: Global Forum on AI for Humanity

Recent article (ACM Comp. Surveys, 2019): "Formal Specification and Verification of Autonomous Robotic Systems: A Survey."