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

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.