Creator of Flow, a static type checker for JavaScript.

Software engineer @ Facebook. Author of several research publications in the areas of programming languages and computer security.