Automated reasoning

A week in the life of Franco Raimondi, an Amazon Scholar at Prime Video and Professor at Middlesex University.

In a pilot study, an automated code checker found about 100 possible errors, 80% of which turned out to require correction.