[41] Talia Ringer - Proof Repair

from The Thesis Review Hosted by Sean Welleck

Talia Ringer is an Assistant Professor with the Programming Languages, Formal Methods, and Software Engineering group at University of Illinois Urbana-Champaign. Her research focuses on formal verification and proof engineering technologies. Talia's PhD thesis is titled "Proof Repair", which she completed in 2021 at the University of Washington. We discuss software verification and her PhD work on proof repair for maintaining verified systems, and discuss the intersection of machine learning with her work. - Episode notes: https://cs.nyu.edu/~welleck/episode41.html - Follow the Thesis Review (@thesisreview) and Sean Welleck (@wellecks) on Twitter - Find out more info about the show at https://cs.nyu.edu/~welleck/podcast.html - Support The Thesis Review at www.patreon.com/thesisreview or www.buymeacoffee.com/thesisreview

Episode details come from the podcast's RSS feed.

Embed this episode

Attribution link and audio player

Ready to play

[41] Talia Ringer - Proof Repair

0:00 1:19:02

No transcript yet.

Requests help us decide what to transcribe next.

Share this episode

Frequently asked questions

How long is this episode of The Thesis Review?

This episode is 1 hour and 19 minutes long.

When was this The Thesis Review episode published?

This episode was published on March 30, 2022.

Can I download this The Thesis Review episode?

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