About this episode

The episode discusses the evolution of formal methods in the context of increasingly autonomous AI systems.

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

More episodes of Podcast Archives - Software Engineering Daily

• Developing Multiplayer Games in Godot · June 11, 2026 · 47 min
• SED News: Apple’s AI Problem, The Real Business Model of AI, and Token Cost Reckoning · June 9, 2026 · 51 min
• Web Native Game Development · June 4, 2026 · 54 min
• The Hardware Bottleneck AI Can’t Fix · June 2, 2026 · 53 min
• Autonomous Drone Delivery at Scale · May 28, 2026 · 51 min
• The European Startup Scene · May 26, 2026 · 49 min

Explore listener stats, chart rankings, contacts and more on the Podcast Archives - Software Engineering Daily podcast page.