Hello! I’m a PhD student in computer science at Columbia University funded by a DoD NDSEG fellowship. I’m currently working with NASA’s Jet Propulsion Laboratory to develop software-based radiation hardening methods for commodity SoCs onboard Mars 2020 and Mars Sample Return.
As an undergrad at USC, I was part of the STEEL and BASS labs at the Information Sciences Institute, where I worked on network security and binary analysis. During my summers, I also got to work on HPC and formal verification topics at Sandia National Labs, and on rover simulation and flight software fuzzing for Mars 2020 at NASA-JPL. Here’s a CV, if my work sounds interesting.