Formal Methods as Agent Guardrails

About this episode

Byron Cook discusses the intersection of formal methods and agentic AI, exploring automated reasoning and its implications for software verification.

Formal methods are a branch of mathematics and computer science focused on proving the correctness of systems, and they have long promised a more rigorous foundation for software. However, their complexity has kept them confined to a small community of specialists. That is now changing as agentic AI systems take on increasingly autonomous roles. The question of how to define, enforce, and verify what those agents are allowed to do has become urgent, and automated reasoning is emerging as a critical part of the answer. Byron Cook is a VP and Distinguished Scientist at AWS, a professor at University College London, and a program manager at DARPA. He founded the Automated Reasoning Group at AWS over a decade ago, where his team built the foundations behind products like IAM Access Analyzer, VPC Reachability Analyzer, and Bedrock Guardrails. In this episode, Byron joins Sean Falconer to discuss how automated reasoning works and why it scales so well with AI, the rise of neurosymbolic approaches that combine formal logic with large language models, what it means to formally specify agent behavior using temporal logic, and why the convergence of agentic AI and formal methods may…

People in this episode

Host: Sean Falconer

Guest: Byron Cook

Topics covered

• formal methods
• automated reasoning
• agentic AI
• neurosymbolic approaches
• temporal logic
• software verification

Keywords

• formal methods
• automated reasoning
• agent behavior
• AI systems
• neurosymbolic approaches
• temporal logic
• software correctness

Mentioned in this episode

Organizations: AWS, University College London, DARPA

Products: IAM Access Analyzer, VPC Reachability Analyzer, Bedrock Guardrails

More episodes of Software Engineering Daily

• Web Native Game Development · June 4, 2026 · 52 min
• The Hardware Bottleneck AI Can’t Fix · June 2, 2026 · 51 min
• Autonomous Drone Delivery at Scale · May 28, 2026 · 50 min
• The European Startup Scene · May 26, 2026 · 47 min
• React Native at Scale · May 21, 2026 · 47 min
• Open Source Sustainability · May 14, 2026 · 59 min