I am a Computer Science PhD candidate at Princeton University advised by Professor Margaret Martonosi. My area of research lies in Computer Architecture with a focus on hardware security and correctness verification for modern systems. Currently, I'm working on anomaly detection and mitigation for domain-specific SoCs. I have also worked on formal and empirical methods for correctness verification and validation, specifically for virtual memory systems. My work enables formal specification, formal verification, and empirical validation of correct event ordering in virtual memory systems.

Prior to graduate school, I worked with Professor Ulrich Kremer at Rutgers University where I received my BS degree in Electrical and Computer Engineering as well as Computer Science. Our work aimed to design a system for underwater autonomous glider interactions. In particular, we investigated optical solutions for enabling a leader-follower navigation implementation through underwater tracking.