In this episode, we talk about proof engineering with Talia Ringer, researcher and incoming assistant professor at the University of Illinois at Urbana-Champaign.

S6:E4 - How Will Proof Engineering Affect the Future of Software Development

DevDiscuss is the first original podcast from DEV, a global community of software developers of all backgrounds and experience levels. The show covers burning topics that impact the daily lives of programmers and beyond, hosted by Forem Co-Founder, Ben Halpern, as well as a rotating cast of Forem developers.

Share S6:E4 - How Will Proof Engineering Affect the Future of Software Development

Sign up to save your podcasts

S6:E4 - How Will Proof Engineering Affect the Future of Software Development

S6:E4 - How Will Proof Engineering Affect the Future of Software Development

More shows like DevDiscuss

CodeNewbie

DevNews