Software Engineer
Facebook

Noam is a computer scientist interested in programming languages, dependent types, formal verification, functional programming, and static analysis. His goal is to reimagine software engineering by creating a new generation of programming languages and tools that allow developers to think at a higher level and provide stronger static correctness guarantees. He is currently a Staff Software Engineer in the Facebook Programming Languages and Runtimes group and is working on various projects related to the Hack programming language. This work will help thousands of Facebook engineers write safer and more correct code.