I earned my PhD in CS from UC Berkeley in 1999. I spent the next 15 years as a research scientist at Microsoft, working on static and dynamic verification tools for object oriented programs and system software. From 2014 to 2016 I worked at Google Seattle on data-parallel infrastructure, in particular auto-scaling for batch and streaming pipelines. In October 2016, I joined the Product Security Program Analysis team at Facebook Seattle to work on static analysis for security and privacy aspects of Hack/PHP.