Over the past decade, Byron's team has proven the correctness of our authorization engine, our cryptographic implementations, and our virtualization layer. Now they're taking those same techniques and applying them to agentic systems.

AllThingsDistributed offers in insights into distributed systems, cloud computing, and scalability challenges, helping developers navigate the complexities of building resilient and scalable applications. Developers exploring AllThingsDistributed's content can delve into articles, research papers, and conference presentations to learn about the principles and techniques behind designing and implementing distributed systems, overcoming performance bottlenecks, and harnessing the power of cloud-native architectures. By gaining a deeper understanding of distributed computing concepts and best practices, developers can architect robust and scalable solutions that meet the demands of today's digital world.

All Things Distributed

Byron Cook discusses how automated reasoning is evolving to verify AI system outputs and ensure trust in agentic systems. His team has spent a decade proving correctness of AWS's critical security components and is now applying neurosymbolic AI—combining neural networks with formal verification—to validate AI-generated code and agent behavior. Amazon Bedrock Guardrails now offers automated reasoning checks that verify AI output accuracy up to 99%, critical for regulated industries. The conversation explores challenges in scaling formal methods, the importance of specification languages, and how agentic coding tools combined with formal proof are transforming software development.

A chat with Byron Cook on automated reasoning and trust in AI systems