Johann Schleier-Smith

This talk presents a vision for achieving zero software bugs by drawing parallels with highly reliable systems in industries like aerospace. It argues that while current AI coding agents introduce new challenges, established techniques for building robust software can be adapted and scaled, potentially making high-assurance code significantly more accessible and affordable. The core thesis is that the path to widespread adoption of AI in software development hinges on solving the quality and reliability problem.