I am a second year Computer Science PhD student at Princeton University advised by Professor Margaret Martonosi. I'm currently working on hardware security and correctness verification. It is important to verify these properties in our existing and future systems as several aspects of our society are now dependent on their security and reliability. My work applies formal methods to automate exploit synthesis and analysis of vulnerabilities and correctness to mitigate design flaws from early stages of the hardware design process.
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 to enable a leader-follower navigation implementation through underwater tracking.
PhD in Computer Science, 2023
BS in Electrical and Computer Engineering, Computer Science, 2018
Hardware security exploits have been in the spotlight since the announcement of the infamous Spectre and Meltdown exploits. These …