Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#40 Secure Voting

Joe Kiniry

Jul 15th 2024   |  69 min
0:00
0:00

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.

Links

Broken Ballots

Joe Website

Galois website

SAW