The Future of Reliable Software: Exploring Gradual Verification with Dr. Jenna DiVincenzo

In this episode of Engineering Innovations, host Kristin Malavenda talks with Dr. Jenna DiVincenzo, an assistant professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University. The conversation dives into Dr. DiVincenzo's work in software verification, a crucial process ensuring software behaves as intended. They explore the concept of gradual verification, which combines static and dynamic verification methods to create more reliable software. Dr. DiVincenzo discusses her journey from a math enthusiast to a software engineer, the challenges and nuances of verifying complex data structures, and her passion for mentoring students. Tune in to gain insights into the future of safer, more efficient software development. ...