Hello! I'm a computer science PhD candidate at Columbia University currently funded by a NSF GRFP fellowship. I'm currently working with NASA's Jet Propulsion Laboratory to improve spacecraft compute using a software systems approach.
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 for Mars 2020 and flight software for Mars Sample Return at NASA-JPL. Here's a CV, if my work sounds interesting.
In my free time, I'm into longsword fencing, vegan cooking, and low-effort memes.