Could AI help prove software is secure? We're backing eight teams to test AI-enabled formal methods in real systems. Plus: a new £60m Robot Locomotion programme, Creator stories and opportunities across ARIA. Read October's update: https://bit.ly/47M8GTa
Proof, pulse and possibility
Our October update
ariaresearch.substack.com