He received his Ph.D. from the University of Texas at Austin in 2009. His research interests are in programming languages with an emphasis on program analysis. He is a recipient of the NSF CAREER Award.