Jinmo Zhao
Software Engineer at Google
Mountain View, California, United States
Summary
👤
Senior🎓
Top SchoolJinmo 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.
11 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at Rice UniversityBachelor’s Degree, Bachelor’s Degree at Tianjin University
English, Chinese
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.
mathpythonsciencecomputer-algebra-systemalgebra
tschijnmo/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.