Engineering Innovations: What Is the Role of Gradual Verification in Critical Software Systems?
Engineering Innovations - Un pódcast de Elmore Family School of Electrical and Computer Engineering - Miercoles
Categorías:
The Future of Reliable Software: Exploring Gradual Verification with Dr. Jenna DiVincenzoIn 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
