Sveriges mest populära poddar

Building Better Systems

#5: Talia Ringer – Proof Engineering for the People

30 min • 11 januari 2021

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/ 
 

Förekommer på
00:00 -00:00