Engineering Innovations: What Is the Role of Gradual Verification in Critical Software Systems?

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

Om Podcasten

"Engineering Innovations," the official podcast of Purdue University’s Elmore Family School of Electrical and Computer Engineering, lives at the intersection of where the physical meets the virtual.In each episode, we sit down with our faculty members who are persistently pursuing their next giant leap. Explore the fascinating world of their cutting-edge research, unravel the mysteries of advanced technologies, and gain insight into the transformative projects that are revolutionizing the field.Whether you're a seasoned professional, a curious student, or simply a tech-enthusiastic, "Engineering Innovations" promises to spark your curiosity and inspire a passion for the endless possibilities within electrical and computer engineering.