Yihong Zhang
PhD Candidate
Seattle, Washington, United States
Summary
👤
SeniorZixuan 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
Github Skills (77)
datalog10
graph10
compiler-optimization9
image-processing9
dsl9
django-rest-framework9
translator8
compiler8
django8
cad8
icu8
graph-layout8
halide8
gpu8
synthesis8
Programming languages (13)
Github contributions (5)
yihozhang/cgo2026-hardboiled-artifact
Jul 2024 - Dec 2025
a language for fast, portable data-parallel computation
Contributions:103 pushes, 5 branches in 1 year 4 months
egraphs-good/egglog
Jul 2022 - Jan 2023
egraphs + datalog!
Contributions:228 reviews, 25 commits, 172 PRs in 6 months
datalog
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.