I am a PhD student of Computer Science at Purdue Univeristy. My research interests include symbolic execution, and using machine learning techniques to enable program analysis. My advisors are Roopsha Samanta and Xiangyu Zhang.
B.S. in Computer Science, 2013
University of Kentucky