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/