Building Better Systems
Subscribe in ParasocialFree on the App Store for iPhone, iPad and Mac. No subscription needed. Once it is installed, tap this link again and the show is yours. Already have it? Open in Parasocial.
About
Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.
Also on
Recent episodes
- Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
- Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types
- Episode #20: Ankush Desai — P: The Modeling Language That Could
- #19: Steve Weis — Security Shouldn't Be the Last Check Box
- #18: Jordan Kyriakidis — Helping People Write More Useful Requirements
- #17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2)
- #16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1)
- #15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA
- #14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean
- #13: Rod Chapman – It's Either Automated or It's Wrong