Fangyi Zhou
Software Engineer at Meta
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolFangyi Zhou is a software engineer and programming language researcher with a PhD in computing and about 10 years of experience building robust, verifiable systems across industry and academia. Her work spans from multiparty session types for message-passing distributed systems to practical tools—she built a static verification tool for TypeScript, an internal LLM document-processing tool at Amazon, and contributed to the GHC compiler and Firedrake scientific computing project. She’s held roles at Meta, Amazon Prime Video, Arm, Oxford and Imperial College, blending formal methods, systems-level verification, and product-facing engineering. Notably, her contributions include system-level fixes in GHC’s runtime and interactive plotting features for Firedrake, highlighting both low-level expertise and user-facing polish. Based in London and using she/they pronouns, Fangyi enjoys applying rigorous type-theoretic ideas to real-world distributed and verification problems.
10 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD Computing, Doctor of Philosophy - PhD Computing at Imperial College LondonSuzhou Foreign Language School
English, Chinese, German, Japanese
Github Skills (45)
textbook10
programming-language10
filesystem10
agda10
float3210
python10
storybook10
matplotlib10
testing10
internationalization10
terminal-emulator10
c1110
terminal-application10
file-operations10
numpy10
Programming languages (31)
Github contributions (5)
firedrakeproject/firedrake
Jul 2016 - Sep 2016
Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:226 commits, 8 PRs, 125 pushes in 2 months
Contributions summary:Fangyi primarily focused on implementing plotting functionality within the Firedrake project. They added and refined a method for one-dimensional plotting, including testing for various function types. Further contributions include refactoring the plotting methods for improved code organization and creating an interactive interface for plotting multiple functions. These changes involved modifying existing code and adding new files for plotting and testing.
equationspartialfemmethodsimulation
plfa/plfa.github.io
May 2019 - Aug 2022
An introduction to programming language theory in Agda
Role in this project:Technical Writer
Technical WriterContributions:1 review, 18 commits, 27 PRs in 3 years 3 months
Contributions summary:Fangyi primarily contributed to the repository by making adjustments to the documentation. They corrected typos, standardized headings, and updated import statements related to the Agda code. Additionally, they integrated a library for generating anchors for headers, which would enhance navigation and readability of the documentation. These changes indicate a focus on improving the presentation and accessibility of the content.
polymorphismdependent-typeshomotopy-type-theorytype-theorylanguage-theory
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.