Zixuan Geng
Software Engineer at Snowflake
Seattle, Washington, United States
Summary
👤
Senior🎓
Top SchoolZixuan Geng is a software engineer with nine years of experience blending database systems, machine learning, and algorithm design, currently building data infrastructure at Snowflake in Seattle. He combines strong academic rigor—BS and MS in Computer Science from the University of Washington and ACM‑ICPC regional contest experience—with hands‑on research that produced VLDB/SIGMOD work on fast, practical counterfactual explanations. Zixuan has repeatedly optimized explanation and inference pipelines (e.g., speeding SHAP/RESP and counterfactual models by multiple orders) by exploiting database semantics, systems-level tuning, and algorithmic improvements. Comfortable teaching and mentoring, he redesigned course material and led cloud-based hands‑on labs for UW database classes. His profile reflects a rare mix of production engineering at scale and research-driven innovations at the interface of databases and ML.
9 years of coding experience
2 years of employment as a software developer
北京大学 暑期学校Bachelor's degree, Computer Science, 3.95/4.00, Bachelor's degree, Computer Science, 3.95/4.00 at 美国华盛顿大学
Github Skills (103)
datalog10
interval-arithmetic10
dsl10
lenses10
computation9
portable9
high-performance9
translator9
image-processing9
gpu9
egg9
symbolic-computation9
java9
logic-programming9
graph9
Programming languages (12)
Github contributions (5)
yihozhang/yihozhang.github.io
Dec 2017 - Feb 2025
Contributions:230 pushes, 1 branch, 1 issue in 7 years 3 months
yihozhang/egraph-sqlite
May 2021 - Mar 2022
Contributions:15 commits, 12 pushes, 1 branch in 9 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.