Hengruo Z
Software Engineer at TikTok
Seattle, Washington, United States
Summary
👤
Senior🎓
Top SchoolHengruo Z is a software engineer with 11 years of experience specializing in AI and distributed systems, currently building TikTok’s e-commerce open platform in Seattle. He has a strong background in machine learning infrastructure and large-scale distributed training from roles at JPMorgan Chase and Tencent Americas. Trained at USTC and Carnegie Mellon in information security and ECE, he blends rigorous academic foundations with production-grade engineering. His open-source contributions to the Mathics project show comfort working on domain-specific back-end logic and mathematical correctness, including implementing logical operators and fixing Unicode mappings. Colleagues know him for tackling complex, cross-team infrastructure challenges and translating mathematical insight into robust code.
11 years of coding experience
4 years of employment as a software developer
Bachelor's degree, Information Security, Bachelor's degree, Information Security at University of Science and Technology of ChinaMaster's degree, Electrical and Computer Engineering, Master's degree, Electrical and Computer Engineering at Carnegie Mellon University
Chinese, English, French
Github Skills (11)
computer-algebra10
logic-programming10
logical10
python10
symbolic-logic10
computer-algebra-system10
logic10
expressions9
parsing9
parse9
expression9
Programming languages (9)
Github contributions (5)
mathics/Mathics
Oct 2016 - Oct 2016
This repository is for archival. Please see https://github.com/Mathics3/mathics-core
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 commits, 1 PR, 2 comments in 3 days
Contributions summary:Hengruo primarily contributed to the backend logic of the Mathics project, focusing on implementing and modifying mathematical functions within the `logic.py` file. Their work involved adding new functions for logical operations such as Implies, Equivalent, and Xor, along with defining rules to simplify expressions. Additionally, the user corrected Unicode representations for mathematical symbols within the `characters.py` file, updating the character mappings for Implies and Equivalent. The contributions demonstrate an understanding of the mathematical domain and the codebase's structure.
mathpythonmathematicsmathicscomputer-algebra
heliumsea/heliumsea.github.io
Sep 2016 - Jan 2022
Contributions:94 pushes, 1 branch, 1 comment in 5 years 4 months
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.