#5: Talia Ringer – Proof Engineering For The People Building Better Systems podcast

Artwork

Tech Podcasting Education Government Galois Inc Joey Dodds Shpat Morina

Innhold levert av Galois Inc., Joey Dodds, and Shpat Morina. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Galois Inc., Joey Dodds, and Shpat Morina eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

Building Better Systems « »
#5: Talia Ringer – Proof Engineering for the People

4y ago 30:17

Del

MP3•Episoder hjem

Innhold levert av Galois Inc., Joey Dodds, and Shpat Morina. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Galois Inc., Joey Dodds, and Shpat Morina eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

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: podcast@galois.com

Galois, Inc.: https://galois.com/

… continue reading

22 episoder

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina

Artwork

#5: Talia Ringer – Proof Engineering for the People

Building Better Systems

published 4y ago

Del

MP3•Episoder hjem

Innhold levert av Galois Inc., Joey Dodds, and Shpat Morina. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Galois Inc., Joey Dodds, and Shpat Morina eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

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: podcast@galois.com

Galois, Inc.: https://galois.com/

… continue reading

22 episoder

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina

Alle episoder

×

Velkommen til Player FM!

Player FM scanner netter for høykvalitets podcaster som du kan nyte nå. Det er den beste podcastappen og fungerer på Android, iPhone og internett. Registrer deg for å synkronisere abonnement på flere enheter.

Lytt til 500+ tema