#5: Talia Ringer – Proof Engineering for the People

Building Better Systems - A podcast by Galois, Joey Dodds, Shpat Morina

Categories:

Education Technology

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.