Compiler engineer on the Scala Language & Tools team.

Compiler engineer working on improving the scalability of the Hack programming language.

• Formalized and proved the correctness of Hack's incremental typechecking algorithm.
• Migrated Hack to use the Language Server Protocol, providing support for all major editors.
• Developed a linting system for Hack code written in Hack itself, now supporting hundreds of lint rules.
• Developed a refactoring system suitable for monorepo-scale code migrations. Typical job time: 12hr → 15min.
• Developed low-latency IDE server. Worst-case startup time: 5min → 10sec.

• Created dependency graph visualization for internal code review tool.
• Combined configuration changes and source code changes into one workflow.

• Calculated and displayed savings to customers for all digitally pre-ordered items.
• Detected large-scale pre-order release events in order to scale preemptively.

• Heavily streamlined staff workflow by overhauling automatic-grading web application.
• Developed automated project deployment system for rapid iteration on project specifications.