[41] Talia Ringer - Proof Repair
The Thesis Review
00:00
From Programming to Proofs: An Academic Journey
This chapter outlines the speaker's academic trajectory, highlighting their evolution from programming to a focus on proof assistants and software verification. They discuss the pivotal moment during their undergraduate studies that shaped their perspective on programming languages and the significance of mentorship in academia. Moreover, the chapter explores the complexities of proof repair, program specifications, and the ongoing challenges of program verification in dynamic software environments.
Transcript
Play full episode
