Dr Matt Webster

Computer scientist. Interested in safe and trustworthy AI & robotics. Views my own.

[Dr Matt Webster @DrMattWebster]

A new paper we wrote about verification and validation of inspection robots for @ORCA_Hub @RAIN_hub @FAIR_SPACE_Hub @S4programme @RAEngNews w/ @louiseadennis @drmikejump @farrell_marie @xiaoweih @mountluoupc @MattLuckcuck @dreccollins

[Robotics MDPI @RoboticsMDPI]

🔓 New paper online in #OpenAccess journal @RoboticsMDPI "An Overview of Verification and Validation Challenges for #Inspection #Robots" by Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, @louiseadennis, et al.
👉Full paper: https://t.co/ezmfurswuh

[A and V Network @AandVNetwork]

Today's the day! 🎉

[Centre for Assuring Autonomy @CfAA_York]

Still time to register for next week's free workshop on robotics for remote inspection: https://t.co/TrbW1QwzCo organised by @GheraibiaYoucef @MattLuckcuck @DrMattWebster @RAIN_hub @ORCA_Hub

[Dr Matt Webster @DrMattWebster]

More #AIEthics questions. #fmas2020 https://t.co/xR1B9VclOu

[Dr Matt Webster @DrMattWebster]

#FMAS2020 @AandVNetwork @louiseadennis one for the AI ethicists. Machine learning-based facial recognition apparently? https://t.co/GLGYnjNhlG

[Dr Matt Webster @DrMattWebster]

#Robotics #AI #Verification #FormalMethods #Simulation #offshore #nuclear #safetytech

[A and V Network @AandVNetwork]

Workshop on Verification & Regulatory Issues for Remote Robotic Inspection

Date: 13th of Jan 2021

For those interested in the verification and regulation challenges faced with robotic systems for remote inspection.

Link: https://t.co/P4VoEViSZq

@AAIP_York @RAIN_hub @ORCA_Hub

[@ORCA_Hub @ORCA_Hub]

Members of the @EdinburghUni @ORCA_Hub team are meeting with the other @EPSRC-funded #Robotics & #AI Hubs, @RAIN_hub and @FAIR_SPACE_Hub at @LivUni today. Hopefully it's a productive day!

[A and V Network @AandVNetwork]

Our own Matt Webster (https://t.co/LxNP5MZjQb) giving a Journal Club presentation to the @LivUni_CompSci Verification Group.

"Verifiable Self-Certifying Systems"

Honestly, there were other people in the room!

#verification #certification

[A and V Network @AandVNetwork]

And Matt Webster talking about Corroborative #Verification and #Validation; another of our researchers working on the @ORCA_Hub @LivUni_CompSci @livuni_eeecs @livunieng
#VandV
#AutonomousSystems

[A and V Network @AandVNetwork]

Out collaboration meeting today with Matt Webster, Rafael Cardoso, @MattLuckcuck, Marie Farrell, @hawesie, @louiseadennis, and Bruno Lacerda.
@oxfordrobots @strands_project
#robotics #verification #validation

@RAIN_hub @ORCA_Hub @FAIR_SPACE_Hub @AAIP_York

[A and V Network @AandVNetwork]

#PhD place with our own @louiseadennis in #Assurance of #MachineLearning enabled #AutonomousSystems @LivUni_CompSci @livuni_eeecs @LivUni @livunicareers

#PhDChat #FormalMethods

[@ORCA_Hub @ORCA_Hub]

One week ago today we were all gathered at @FSCmoreton for the #ORCAHubDemos. Thanks again to @oxfordrobots @SchoolOfEng_UoE @EdinburghUni @LivUni_AVLab @LivUni @imperialcollege for all your hard work preparing these demos for our industrial colleagues. @EPSRC #IndustrialStrategy