Gary Xia

Co-Founder at Heyo Computer

San Francisco Bay Area United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Gary Xia is a seasoned software engineer and entrepreneur with 10+ years building devops, cloud, and network software across startups and large tech companies. As Co-Founder of Heyo Computer he’s focused on sandbox VMs for agentic workflows, blending product thinking with low-level systems engineering. His background spans languages and domains—from Python and Go to C/C++—and includes platform and SRE work at Uber Freight and LinkedIn, where he improved CI/CD, observability, and incident response. Previously he led large engineering efforts at Huawei (200‑engineer programs, Terraform provider development, and Jepsen-style testing) and contributed early innovations in remote display at Citrix and conferencing at Webex. Gary pairs hands-on coding with architecture and operational rigor, and he often surfaces non-obvious reliability wins by instrumenting systems and automating detection/mitigation. Based in the San Francisco Bay Area, he combines entrepreneurial grit with deep distributed-systems expertise.
code10 years of coding experience
job23 years of employment as a software developer
bookBachelor of Engineering (B.E.), Computer Science, Bachelor of Engineering (B.E.), Computer Science at Tsinghua University
bookMS, Computer Science, MS, Computer Science at University of Florida
github-logo-circle

Github Skills (4)

jepsen5
distributed-systems3
terraform3
fault-injection2

Programming languages (2)

GoClojure

Github contributions (4)

github-logo-circle
Terraform opentelekomcloud provider
Contributions:56 commits in 2 months
terraform
gator1/jepsen

Feb 2017 - May 2017

Clone of aphyr's jepsen, might make some experiment changes
Contributions:14 commits in 2 months
jepsen
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.
Request Free Trial