Office: Room 610, Levine Hall
Address: 3330 Walnut St, Philadelphia, PA 19104
Phone: 215-573-1856
Curriculum Vitae

Prospective PhD students: apply to the Penn CIS PhD program if you are interested in joining my research group (deadline is Dec 15, 2017).

Recent News

About Me

I'm an Associate Professor of Computer and Information Science at the University of Pennsylvania, where I also participate in the PL Club and the PRECISE Center. I received a Ph.D. in Computer Science from Stanford University in 2008. I was a researcher at Intel Labs, Berkeley from 2008 to 2011, and an Assistant Professor of Computer Science at Georgia Tech from 2011 to 2016.


My research aims to improve software quality and programmer productivity by combining ideas from program analysis, machine learning, and constraint solving.

For more details, see publications and projects.