I am a 4th year PhD student in the
Department of Electrical and Computer Engineering
at Carnegie Mellon University. My research advisor is
Prof. Priya Narasimhan. My research interests
are in Computer Security and Program Verification, particularly in ensuring that software is free of
security faults using formal techniques such as Interactive Theorem Proving. I am also affiliated with the
Parallel Data Laboratory.
Previously, I completed my Bachelor's and Master's in Computer Science at the School of Computer Science at Carnegie Mellon University in 2008 and 2009 respectively. My Bachelor's Honor's Thesis was "RAMS and BlackSheep: Inferring white-box application behavior using black-box techniques" (CMU-PDL-08-103), while my Master's Thesis was "Log-based Approaches to Characterizing and Diagnosing MapReduce Systems" (CMU-CS-09-143).
My current academic page is located here, and you will be redirected automatically in 5 seconds.