Boston Computation Club

02/16/24: Q&A on Verified Elections with Joe Kiniry


Listen Later

Joe Kiniry is a computer scientist at Galois, specializing in Rigorous Systems and Software Engineering (Model-based Systems Engineering with Digital Twins), Hardware/Firmware Security, Trustworthy and Verifiable Elections, High-assurance Cryptography, and Audits-for-Good. He's also the Chief Scientist at Free & Fair, a Galois spin-off focused specifically on verified elections tech. Today Joe joined us for a Q&A focused specifically on his elections tech work, and it was a fun one! Joe is one of the more pragmatic and charismatic FM evangelists out there and I think this is an enormously compelling use-case for the tech. We really enjoyed the event and hope you do too!

...more
View all episodesView all episodes
Download on the App Store

Boston Computation ClubBy Max von Hippel


More shows like Boston Computation Club

View all
ABC News Daily by ABC

ABC News Daily

127 Listeners