简介
My research sits at the intersection of AI, security, and software systems. I develop principled, practical techniques to make modern computing more reliable and secure. My earlier work improved Linux, which underpins computing for billions of people, by revealing where bugs concentrate and helping fix dozens of kernel security bugs and file-system bugs. Our 2015 paper coined the term machine unlearning and helped launch the field. In 2017, DeepXplore helped establish systematic testing for neural networks and influenced Google’s TensorFuzz. More recently, Radshield, our software-based radiation-protection system, was deployed for about two years on a commodity SoC aboard NASA’s Perseverance Mars rover, where it safeguarded a navigation algorithm used during autonomous driving. I earned my
数据校验于 9/6/2026数据来源