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.