A Mere Formality
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:
A Mere Formality
Latest Episodes
S1 E2 - Annie Vella - Proving What AI Builds
Ray and John have a conversation with Annie Vella in this episode about why formal verification, a discipline she first encountered more than twenty years ago, is suddenly becoming increasingly relevant in the age of AI-assisted software ...
S1 E1 - A Mere Formality - John Willis and Ray Myers
In this inaugural episode, John Willis and Ray Myers sit down to launch A Mere Formality, a new conversation exploring formal methods, software verification, and the search for certainty in an increasingly AI-driven world. Ray introduces formal...