#5: Talia Ringer – Proof Engineering for the People
Talia Ringer, a Ph.D. candidate at University of Washington, explains how they do deep people-centric PL research. We discuss proof repair, UX for software correctness, and how to ask users of tools for feedback to react to.
Audio is streamed directly from the publisher (cdn.simplecast.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
Talia Ringer, a Ph.D. candidate at University of Washington, explains how they do deep people-centric PL research. We discuss proof repair, UX for software correctness, and how to ask users of tools for feedback to react to.
You can watch this episode on our Youtube Channel.
Joey Dodds: https://galois.com/team/joey-dodds/
Talia Ringer: https://dependenttyp.es/
Contact us: [email protected]
Galois, Inc.: https://galois.com/