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 Mars 2020 and Mars Sample Return.
As an undergrad at USC, I was part of the STEEL and BASS labs at ISI, where I worked on network security and binary analysis. During my summers, I also got to play with FPGA SmartNICs with Prof. Minlan Yu at Harvard SEAS for a bit, and worked on HPC and formal verification topics at Sandia National Labs. I also did some rover simulation and fuzzing for Mars 2020 at NASA-JPL. Here’s a CV, if my work sounds interesting.