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
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.
