Committees
- Co-chair of
the IEEE
Technical Committee for the Verification of Autonomous Systems
- Member of the British Standards Institution's AMT/10 committee on
Robotics
Within that, I am particularly involved in the BS8611 standard Guide to the Ethical Design and Application of Robots and Robotic Systems.
I now chair the BSI's new "Sustainable Robotics" committee, developing a Guide to the Sustainable Design and Application of Robots and Robotic Systems.
- Member of the National Engineering Policy Centre's committee on the Safety and Ethics of Autonomous Systems
- Member of the IEEE's P7009 Standard working group, developing a standard for the "Failsafe Design of Autonomous Systems", within the IEEE's Global Initiative on Ethics of Autonomous and Intelligent Systems
- Member of EPSRC's Strategic Advisory Network.
Editorial Boards:
Event Organisation:
- Workshop: Quality and Reliability Assessment of Robotic Software Architectures and Components, IROS, 2021
- Workshop Verification of Autonomous and Robotic Systems, CPS-IoT Week 2021
- Workshop: Verification and Regulatory Issues for Remote Robotic Inspection, 2021
- Workshop: Greater Autonomy in Space, 2020
- Workshop: Scoping Certifiable Autonomous Nuclear Robotics, 2019
- Workshop: Formal Methods for Autonomous Systems, 2019
- Workshop: Space Security Scoping, 2019
- Dagstuhl Seminar: Ethics & Trust: Principles, Verification & Validation
- Steering Committee for European Conference on Logics in AI