Note sull'episodio
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.
Purdue ECE: http://engineering.purdue.edu/ECE
Facebook: / purdueece
Twitter: / purdueece @PurdueECE
Instagram: / purdue.ece
LinkedIn: / purdue-ece