#5: Talia Ringer – Proof Engineering for the People

<p>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.</p><p>You can watch this episode on our <a href="https://youtu.be/3zMLSm71iGg" target="_blank">Youtube Channel. </a></p><p>Joey Dodds: https://galois.com/team/joey-dodds/ </p><p>Talia Ringer:<a href="https://dependenttyp.es/"> https://dependenttyp.es</a>/ </p><p>Contact us: podcast@galois.com </p><p>Galois, Inc.: https://galois.com/ <br /> </p>