How to Stop Software Disasters Before They Start

How to Stop Software Disasters Before They Start: Purdue PhD Paschal Amusuo on Formal Verification, Unit Proofing & Zero Trust

In this episode of Engineering Innovations from Purdue ECE, host Kristin Malavenda interviews fifth-year PhD candidate Paschal Amusuo, a Qualcomm Innovation Fellow researching software security with formal verification and runtime defenses. Amusuo shares his path from Port Harcourt, Nigeria, to Purdue and explains how memory-safety bugs—like those behind major outages such as the 2024 CrowdStrike incident—can crash systems or enable attackers to steal or alter data. He describes how formal verification differs from testing by mathematically checking whether any input can cause failure, and how his “unit proofing” approach makes these techniques more accessible to software engineers. He also discusses zero-trust design for third-party software dependencies, daily PhD life, mentorship with advisor James Davis, real-world vulnerability disclosures, and advice for prospective PhD students focused on learning and impact.

Purdue ECE: http://engineering.purdue.edu/ECE

Facebook: http://facebook.com/purdueece

X: https://x.com/PurdueECE

Instagram: https://instagram.com/purdue.ece

LinkedIn: https://www.linkedin.com/company/purdue-ece

YouTube: https://www.youtube.com/@PurdueECE

Purdue University's Elmore Family School of Electrical and Computer Engineering, founded in 1888, is one of the largest ECE departments in the nation and consistently ranks among the best.

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(28)

Can AI think like a Scientist?

Explaining Trustworthy AI & Self-Driving Labs with Purdue PhD Candidate Akshita KamsaliIn this episode of Engineering Innovations from Purdue’s Elmore Family School of Electrical and Computer Engineer...

20 Touko 22min

The Future of 6G, Built on a Chip

What does it take to turn a big research idea into a real device and a paper in Nature?In this episode of Engineering Innovations, we talk with Purdue ECE PhD student Connor Devitt about research that...

15 Huhti 27min

Engineering Innovations: The Internet, but Make it Quantum

Engineering Innovations: The Internet, but Make it QuantumHost Kristin Malavenda interviews Purdue ECE associate professor Joseph Luken about engineering “spooky action at a distance” into real techno...

18 Maalis 37min

Engineering Innovations: How AI is Changing Images and Video

AI and Visual Data Compression: Insights from Purdue ECE Professor Maggie Zhu In this episode of Engineering Innovations, host Kristin Malavenda explores the fascinating world of visual data compressi...

18 Helmi 27min

The Hidden Cost of AI: Making Data Centers Sustainable

Understanding the Environmental Impact of AI with Dr. Yi Ding Hosted and produced by Kristin MalavendaIn this episode of Engineering Innovations, host Kristin Malavenda talks to Dr. Yi Ding, an associ...

21 Tammi 27min

Unveiling the Complex Web of Software Security

Unpacking Software Supply Chain Security with Dr. Santiago Torres AriasHosted and produced by Kristin MalavendaIn this episode of Engineering Innovations, host Kristin Malavenda speaks with Dr. Santia...

17 Joulu 202530min

What Makes 2D Materials a Game-Changer for Future Electronics?

Exploring the Future of Electronics with 2D MaterialsIn this episode of Engineering Innovations, host Kristin Malavenda welcomes Dr. Joerg Appenzeller, the Barry M. and Patricia L. Epstein Professor a...

19 Marras 202535min