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. After graduating from Wisconsin, I worked with Prof. Ras Bodik at the University of California, Berkeley.

My Ph.D. 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.