World Model · podcast knowledge graph

The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS

2025-12-24 · 99 min · 28 entities

episode page audio

Asserted relationships

  • 0.77
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://podcasts.apple.com/de/podcast/the-cognitive-revolution-ai-builders-researchers-and/id1669813431
  • → appeared on "The Cognitive Revolution" podcast
    0.68
    evidence rules-v4
    The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS
  • → hosted by Erik Torenberg, Nathan Labenz person
    0.55
    evidence rules-v4
    Feed author/publisher: Erik Torenberg, Nathan Labenz
  • → discusses Society & Culture concept
    0.40
    evidence rules-v4
    Feed category: Society & Culture
  • → discusses Technology concept
    0.40
    evidence rules-v4
    Feed category: Technology
  • → discusses Business concept
    0.40
    evidence rules-v4
    Feed category: Business
  • → discusses Entrepreneurship concept
    0.40
    evidence rules-v4
    Feed category: Entrepreneurship
  • → hosted by Turpentine company
    0.40
    evidence rules-v4
    Feed author/publisher: Turpentine
  • → references aipodcast.ing website
    0.38
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://aipodcast.ing/
  • → references @CognitiveRevolutionPodcast website
    0.38
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://youtube.com/@CognitiveRevolutionPodcast
  • → references cognitiverevolution.ai website
    0.38
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://cognitiverevolution.ai/
  • → references tasklet.ai website
    0.38
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://tasklet.ai/
  • → references S26 Tcr website
    0.38
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://matsprogram.org/s26-tcr

Entities found in this episode

concepts 10

  • mentioned Society & Culture concept
    0.50
    evidence rules-v4
    Feed category: Society & Culture
  • mentioned Technology concept
    0.50
    evidence rules-v4
    Feed category: Technology
  • mentioned Business concept
    0.50
    evidence rules-v4
    Feed category: Business
  • mentioned Entrepreneurship concept
    0.50
    evidence rules-v4
    Feed category: Entrepreneurship
  • discusses Society & Culture concept
    0.40
    evidence rules-v4
    Feed category: Society & Culture
  • discusses Technology concept
    0.40
    evidence rules-v4
    Feed category: Technology
  • discusses Business concept
    0.40
    evidence rules-v4
    Feed category: Business
  • discusses Entrepreneurship concept
    0.40
    evidence rules-v4
    Feed category: Entrepreneurship
  • mentioned AWS concept
    0.35
    evidence rules-v4
    AWS
  • mentioned RAND concept
    0.35
    evidence rules-v4
    RAND

websites 10

  • mentioned aipodcast.ing website
    0.45
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://aipodcast.ing/
  • mentioned @CognitiveRevolutionPodcast website
    0.45
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://youtube.com/@CognitiveRevolutionPodcast
  • mentioned cognitiverevolution.ai website
    0.45
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://cognitiverevolution.ai/
  • mentioned tasklet.ai website
    0.45
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://tasklet.ai/
  • mentioned S26 Tcr website
    0.45
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://matsprogram.org/s26-tcr.
  • references aipodcast.ing website
    0.38
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://aipodcast.ing/
  • references @CognitiveRevolutionPodcast website
    0.38
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://youtube.com/@CognitiveRevolutionPodcast
  • references cognitiverevolution.ai website
    0.38
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://cognitiverevolution.ai/
  • references tasklet.ai website
    0.38
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://tasklet.ai/
  • references S26 Tcr website
    0.38
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://matsprogram.org/s26-tcr

podcasts 3

  • 0.90
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://podcasts.apple.com/de/podcast/the-cognitive-revolution-ai-builders-researchers-and/id1669813431
  • 0.77
    evidence rules-v4
    Link in episode "The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS": https://podcasts.apple.com/de/podcast/the-cognitive-revolution-ai-builders-researchers-and/id1669813431
  • appeared on "The Cognitive Revolution" podcast
    0.68
    evidence rules-v4
    The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS

persons 3

  • mentioned Kathleen Fisher of RAND person
    0.72
    evidence rules-v4
    The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS
  • 0.70
    evidence rules-v4
    Feed author/publisher: Erik Torenberg, Nathan Labenz
  • 0.55
    evidence rules-v4
    Feed author/publisher: Erik Torenberg, Nathan Labenz

companys 2

  • mentioned Turpentine company
    0.70
    evidence rules-v4
    Feed author/publisher: Turpentine
  • hosted by Turpentine company
    0.40
    evidence rules-v4
    Feed author/publisher: Turpentine
Episode description as stored
Kathleen Fisher and Byron Cook dive into automated reasoning and formal verification as tools for building truly secure software systems. PSA for AI builders: Interested in alignment, governance, or AI safety? Learn more about the MATS Summer 2026 Fellowship and submit your name to be notified when applications open: https://matsprogram.org/s26-tcr. They explain how formal methods can harden critical infrastructure against AI-enabled cyberattacks, and how assumptions, specifications, and proofs combine to deliver real security guarantees. The conversation explores using these techniques to train coding models, enable a “great software rewrite,” and power AWS’s new automated reasoning checks for AI agents and policy compliance. Sponsors: MATS: MATS is a fully funded 12-week research program pairing rising talent with top mentors in AI alignment, interpretability, security, and governance. Apply for the next cohort at https://matsprogram.org/s26-tcr Tasklet: Tasklet is an AI agent that automates your work 24/7; just describe what you want in plain English and it gets the job done. Try it for free and use code COGREV for 50% off your first month at https://tasklet.ai Agents of Scale: Agents of Scale is a podcast from Zapier CEO Wade Foster, featuring conversations with C-suite leaders who are leading AI transformation. Subscribe to the show wherever you get your podcasts Shopify: Shopify powers millions of businesses worldwide, handling 10% of U.S. e-commerce. With hundreds of templates, AI tools for product descriptions, and seamless marketing campaign creation, it's like having a design studio and marketing team in one. Start your $1/month trial today at https://shopify.com/cognitive CHAPTERS: (00:00) About the Episode (04:52) AI Reshapes Cybersecurity (10:16) Formal Methods Foundations (17:46) Security Properties Assumptions (Part 1) (21:27) Sponsors: MATS | Tasklet (24:27) Security Properties Assumptions (Part 2) (28:31) Helicopter Formal Verification (38:15) Proof Confidence And AWS (Part 1) (41:52) Sponsors: Agents of Scale | Shopify (44:40) Proof Confidence And AWS (Part 2) (50:33) Automated Reasoning For Policies (01:04:39) Generative AI Meets Verification (01:19:42) Securing Future AI Systems (01:31:19) Agentic Guardrails And Governance (01:40:44) Outro PRODUCED BY: https://aipodcast.ing SOCIAL LINKS: Website: https://www.cognitiverevolution.ai Twitter (Podcast): https://x.com/cogrev_podcast Twitter (Nathan): https://x.com/labenz LinkedIn: https://linkedin.com/in/nathanlabenz/ Youtube: https://youtube.com/@CognitiveRevolutionPodcast Apple: https://podcasts.apple.com/de/podcast/the-cognitive-revolution-ai-builders-researchers-and/id1669813431 Spotify: https://open.spotify.com/show/6yHyok3M3BjqzR0VB5MSyk