I am a fourth year graduate student in the University of Wisconsin-Madison department of Computer Sciences. I work as a research assistant for Somesh Jha on software security. My interests are in applying program analysis and formal methods to security problems. Recently, I've been focusing on applying these techniques to smartphones.

Recently, I've begun a website along with Somesh Jha and Matt Fredrikson on Android Security. Submit applications for testing, read our Android security blog, and find other security resources!