Building Better Systems

#5: Talia Ringer – Proof Engineering for the People


Listen Later

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.
...more
View all episodesView all episodes
Download on the App Store

Building Better SystemsBy Galois, Joey Dodds, Shpat Morina

  • 5
  • 5
  • 5
  • 5
  • 5

5

10 ratings