Boston Computation Club podcast

06/13/25: Gradual Verification with Jenna DiVincenzo

0:00
59:04
Rewind 15 seconds
Fast Forward 15 seconds

Jenna DiVincenzo is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering @ Purdue University. She is broadly interested in research spanning software verification, programming languages, and software engineering, especially research aimed at making verification techniques and programming languages more usable and scalable. Today Jenna joined us to talk about her broad research program in gradual verification. This was a really interesting talk with great Q&A and we hope you enjoy it as much as we did!

More episodes from "Boston Computation Club"