#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.
You can watch this episode on our Youtube Channel.
Joey Dodds: https://galois.com/team/joey-dodds/
Talia Ringer: https://dependenttyp.es/
Contact us: podcast@galois.com
Galois, Inc.: https://galois.com/
The podcast Building Better Systems is embedded on this page from an open RSS feed. All files, descriptions, artwork and other metadata from the RSS-feed is the property of the podcast owner and not affiliated with or validated by Podplay.