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.

#5: Talia Ringer – Proof Engineering for the People

Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.

Share #5: Talia Ringer – Proof Engineering for the People

Sign up to save your podcasts

#5: Talia Ringer – Proof Engineering for the People

#5: Talia Ringer – Proof Engineering for the People