Timothy Z
Software Engineer at Facebook
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolTimothy Z is a software engineer and programming-languages researcher with 11 years of experience building compilers, runtimes, and high-performance back-end systems. Based in Seattle and currently at Facebook, he blends deep PL theory with practical engineering in Haskell, OCaml, Scheme, C++, and C, and is pursuing a PhD in Computer Science at Oxford. He has contributed to prominent open-source projects such as Diem—working on Move bytecode cost synthesis—and improved core libraries like lz4 with portability and refactors that removed global state. A former Chapel contributor and compilers TA, he combines rigorous academic training (near-perfect CS GPA) with production-grade system design and a penchant for clean abstractions and testing.
11 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of OxfordComputer Science, Programming Language Theory, 3.978/4.0 (4.0 in major), Computer Science, Programming Language Theory, 3.978/4.0 (4.0 in major) at Indiana University Bloomington
Github Skills (14)
c1710
lz410
compression10
rust10
c1110
blockchain10
data-structure9
algorithm9
data-structures9
algorithms9
system-design8
testing8
sys8
software-design8
Programming languages (9)
Github contributions (5)
diem/diem
Jun 2019 - Dec 2021
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:761 reviews, 293 commits, 350 PRs in 2 years 6 months
Contributions summary:Timothy focused on developing core logic and functionality within the Diem project, contributing to the cost synthesis for Move bytecode instructions. Their work involved generating valid global memory states for instruction testing, implementing instruction costs, and integrating the output results with the plotting scripts. Additionally, the user was responsible for restructuring the code to use newtype wrappers for gas-related units and adding tests.
diemfinancialtrustedethereumblockchain
lz4/lz4
Jan 2019 - Jan 2019
Extremely Fast Compression algorithm
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 commits, 4 PRs, 2 comments in 2 days
Contributions summary:Timothy primarily focused on enhancing the LZ4 compression library's functionality and maintainability. Their work involved making internal functions public for experimental use, addressing C90 compatibility issues, and clarifying the behavior of variables used within compression algorithms. Furthermore, the user refactored the IO module by removing global variables and incorporating them into a struct, streamlining the code organization and settings management. The contributions also included bug fixes for pass-through mode.
compressioncompression-algorithmlz4c
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.