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

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