#5: Talia Ringer – Proof Engineering for the People

Building Better Systems - En podcast af Galois, Joey Dodds, Shpat Morina

Kategorier:

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.

Visit the podcast's native language site