24 Dec 2025
1h 39m
The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS
"The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis
Open in Podwise to generate AI notes
Sign in to process this episode and unlock summaries, transcripts, highlights and translations.
Shownotes are not generated by Podwise.