Building Better Systems

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