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.

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(29)

Seeing the Invisible: The Future of Infrared Detection

Utkarsh Singh on Poisson Bolometers and Nanoscale Infrared Detection at Purdue ECE Host Kristin Malavenda interviews Purdue ECE PhD student Utkarsh Singh about his path from New Delhi to Purdue and h...

15 Jul 26min

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 Mai 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 Apr 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 Mar 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 Feb 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 Jan 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 Des 202530min