Episodes
0
Language
EN-US
About the show
A Mere Formality is a podcast about formal verification, software engineering, and the growing challenge of knowing whether the systems we build actually do what we think they do. Hosted by John Willis and Ray Myers, the show digs into the ideas, people, research, and real-world applications behind formal verification, connecting theory with the everyday realities of building and operating software. You don't need to be a mathematician or formal methods expert to follow along. A Mere Formality is about asking a deceptively simple question: How do we know our software is actually correct? John's LinkedIn: https://www.linkedin.com/in/johnwillisatlanta/ Ray's LinkedIn: https://www.linkedin.com/in/cadrlife/
Is this your show?
Claim this listing to keep it up to date, reach guests who want to pitch you, and manage bookings with Guestify.
Claim this listing
