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.
PhD in Computer Science, 2023
Princeton University
MA in Computer Science, 2021
Princeton University
BS in Electrical and Computer Engineering, Computer Science, 2018
Rutgers University
Domain-specific edge devices such as autonomous vehicles often have strict realtime deadlines to meet. To meet high computational needs …
Memory transistency models (MTMs) define correct event ordering behaviors that are captured by memory consistency models (MCMs) while …
Hardware security exploits have been in the spotlight since the announcement of the infamous Spectre and Meltdown exploits. These …
Anomalous activity detection for domain-specific heterogeneous SoCs
Localizing detected anomalous activity in domain-specific heterogeneous SoCs