Show notes
For decades, formal methods were considered theoretical exercises locked in academic labs—too brittle, complicated, and expensive for most production software. But as vital systems and AI-driven infrastructure face ever greater challenges, just testing edge cases by hand is no longer enough.
Today, we're joined by Anjana Rajan and Jonathan Ring, co-founders of Atalanta, to explore how they are bridging the software understanding gap.
They break down how to take high-level mission objectives and translate them into code-level proofs without needing a PhD in mathematics. From securing…
Website: podcasters.spotify.com
