I am a computer scientist currently at Google. My research interests include programming languages, formal methods, and software engineering.

I graduated with a Ph.D. in Computer Science from the University of Wisconsin–Madison, under the supervision of Prof. Thomas Reps. My dissertation spanned the areas of machine-code analysis, abstract interpretation, and decision procedures. I was the co-recipient of the Outstanding Graduate Student Research Award awarded by the Computer Sciences Department of the University of Wisconsin–Madison for 2013-2014. I was the recipient of the 2013 Google Ph.D. Fellowship in Programming Technology.

My CV can be found here.