I'm now a Software Engineer at Facebook working on privacy and security analysis.

Previously, I worked at Google on data parallel infrastructure for batch and streaming. Prior to that I was a senior researcher at Microsoft Research, working on improving programmer productivity and reducing or detecting programming errors. Current and recent projects I'm involved in are CodeContracts, TouchDevelop, and Singularity.