I am a computer scientist interested in programming languages, dependent types, formal verification, functional programming, and static analysis. Today’s mainstream programming languages are not expressive enough to support software engineering at scale. My 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.
I am currently employed as a Staff Software Engineer in the Facebook Programming Languages and Runtimes group. I am working on various projects to extend the Hack programming language with the ability to track information flow and effects. This work will help thousands of Facebook engineers write safer and more correct code.
Before working at Facebook, I earned my Bachelors Degree in Computer Science at the University of Pennsylvania.