Jinmo Zhao
Houston, Texas, United States
Summary
👤
SeniorJinmo Zhao is a software engineer with 11 years of experience specializing in large-scale distributed systems, databases, and compile-time optimization for tensor operations. Based in Mountain View, he currently contributes to Spanner infrastructure at Google after building backend sync and distributed computing features at Cisco Meraki. His PhD-level background and practical work blend deep systems thinking with hands-on performance tuning, including open-source contributions to SymPy that improved core symbolic math routines and addressed real-world bottlenecks. Known for finding elegant special-case optimizations, he brings both rigorous academic training and production-hardened engineering to complex, high-throughput services.
12 years of coding experience
Github Skills (10)
algorithm10
mathematics10
data-structures10
algorithms10
computer-algebra10
math10
python10
data-structure10
sympy10
sym10
Programming languages (8)
Github contributions (5)
sympy/sympy
Nov 2015 - Jan 2018
A computer algebra system written in pure Python
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 commits, 5 PRs, 10 comments in 2 years 3 months
Contributions summary:Jinmo contributed to the SymPy library by implementing optimizations and special case handling in core mathematical functions. They focused on improving the `cancel` function to handle fractions efficiently, especially with integer unity, addressing performance bottlenecks. They also addressed trivial cases in the GCD computation for dense multivariate polynomials. Further contributions included merging branches and adding tests for geometric series summation.
computer-algebra-systempythonmathcomputer-algebrascience
DrudgeCAS/libcanon
Aug 2016 - Sep 2019
Contributions:264 commits, 16 pushes in 3 years 1 month
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.