Advised by Jonathan Aldrich and Joshua Sunshine.Developed the first prototype gradual verifier for C0Conducted a large-scale study of aliasing violations in multi-language Rust applications, discovering 48 new bugs—including one from a library maintained by the Rust project.Surveyed and interviewed 179 Rust developers who use the language's unsafe features to better understand their motivations and development practices.