I am a software engineer working on product security static analysis at Facebook. Over the past two years I've been focusing on building Pyre, a fast static typechecker aimed at catching bugs and security vulnerabilities in large Python codebases. I've also had the chance to work with Python engineers to add type coverage to their repositories, then leverage it to systematically find bugs and track sensitive data flow in existing and newly written code.