I am a Computer Science PhD candidate at Princeton University advised by Professor Margaret Martonosi. I'm currently working on correctness verification and hardware security, specifically for virtual memory systems. It is important to verify these properties in our existing and future systems as several aspects of our society are now dependent on their reliability and security. My work applies formal methods to enable formal specification and verification of correct event ordering in virtual memory systems and to automate exploit synthesis such that design flaws may be mitigated from early stages of the hardware and system 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 for enabling a leader-follower navigation implementation through underwater tracking.
PhD in Computer Science, 2023
BS in Electrical and Computer Engineering, Computer Science, 2018
Memory transistency models (MTMs) define correct event ordering behaviors that are captured by memory consistency models (MCMs) while …