ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "#40 Secure Voting - Joe Kiniry"
Episode Synopsis
In this episode we go into a deep dive into the formal methods side of Voting systems, and for this nobody better than our guest: Joe Kiniry, A Principal Scientist at Galois, Principled CEO and Chief Scientist of Free & Fair, a Galois spin-out focused on high-assurance elections technologies and services.
For the past 20 years Joe has worked tirelessly in designing, developing, supporting and auditing all kinds of voting systems for different private parties and government parties.
If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall
Links
Broken Ballots
Joe Website
Galois website
SAW
More episodes of the podcast Type Theory Forall
#51 s/Coq/Rocq - Nicolas Tabareau
04/06/2025
#49 Self-Education in PL - Ryan Brewer
14/03/2025
#48 Bell Labs - David MacQueen
21/01/2025
In God we trust