Skip to content
#5: Talia Ringer – Proof Engineering for the People episode artwork

Jan 11, 2021 30 min

#5: Talia Ringer – Proof Engineering for the People

from Building Better Systems Hosted by Galois Inc.

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/

Episode details come from the podcast's RSS feed.

Embed this episode

What this episode covers

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.

Ready to play

#5: Talia Ringer – Proof Engineering for the People

0:00 30:17

No transcript yet.

Requests help us decide what to transcribe next.

Share this episode

Similar podcasts

The Course Mentors Podcast The Course Mentors Hey there, future course creator! Ever feel like turning your know-how into an online course is like trying to solve a Rubik's cube blindfolded? Well, grab your headphones because "The Course Mentors Podcast" is here to be your secret weapon! Meet Aimee and Odette (that's us!), your new best friends in the course creation world. We've been in the trenches for over a decade, and for the last five years, we've been rocking the online course space. Now we're here to spill all our secrets in bite-sized, 15-20 minute episodes that'll fit perfectly in your coffee breaks. No fluff, no filler - just real, actionable advice that'll take you from "um, what's a landing page?" to "holy moly, I just hit six figures!". We're talking everything from crafting your course to marketing it like a pro and building a business that'll have you pinching yourself. Whether you're dreaming of ditching the 9-to-5 grind, adding a sweet extra income str

Frequently asked questions

How long is this episode of Building Better Systems?

This episode is 30 minutes long.

When was this Building Better Systems episode published?

This episode was published on January 11, 2021.

Can I download this Building Better Systems episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.