Address: 3330 Walnut St, Philadelphia, PA 19104
- Invited tutorial on maximum satisfiability in program analysis at VMCAI 2018.
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.