What Happens to Software When Proof is Cheap?
1 points by joomy
1 points by joomy
2025-26 Allen School Distinguished Lecture Series
Title: What Happens to Software When Proof is Cheap?
Speaker: Mike Dodds (Galois, Inc.)
Date: Thursday, April 16, 2026