Manuel Fahndrich obtained his PhD in Computer Science from UC Berkeley in 1999, studying constraint-based program analysis. He spent 15 years doing program analysis research at Microsoft Research on projects such as Vault, Singularity, and CodeContracts. After a stint at Google working on parallel data processing, he joined Facebook's Product Security group in 2016, where he develops static program analyses for Hack and Python to surface privacy and security issues.