Sveriges mest populära poddar

Type Theory Forall

Vetenskap Teknologi

#40 Secure Voting - Joe Kiniry

1 tim 9 min•15 juli 2024

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

Fler avsnitt av Type Theory Forall

#62 Dependent Haskell - Vladislav Zavialov

13 juni•2 tim 5 min

#61 Zurihac Behind the Scenes - Farhad Mehta

16 apr.•2 tim 19 min

#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan

25 mars•1 tim 53 min

#59 Category Theory and Inclusivity - Valeria de Paiva

28 jan.•2 tim 47 min

#58 Constructivism and Computational Content - Andrej Bauer

16 dec. 2025•2 tim 19 min

#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik

6 dec. 2025•59 min

#56 Property Based Testing and PL Grad School Applications - Francille Zhuang

17 nov. 2025•1 tim 36 min

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

27 okt. 2025•2 tim 38 min

#54 The Goal of Science is to Communicate Ideas! - Philip Wadler

29 sep. 2025•1 tim 50 min

#53 RustBelt, Iris, and the Art of Writing - Derek Dreyer

27 aug. 2025•2 tim 25 min

Type Theory Forall med Pedro Abreu finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.