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.
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."