Manuel Fahndrich earned his Ph.D. in C.S. from UC Berkeley in 1999. He 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-2016 he worked at Google Seattle on data-parallel infrastructure, in particular auto-scaling for batch and streaming pipelines. In Oct, 2016 he joined the Product Security Program Analysis team at Facebook Seattle to work on static analysis for security and privacy aspects of Hack/PHP.