Chao Lin
Software Engineer at Google
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolChao Lin is a software engineer with 11 years of experience across fullstack, developer tools, SRE, and infrastructure, currently building at Google in San Francisco. Previously at Gusto he shifted from benefits product work into developer experience, reflecting a blend of customer-facing product engineering and internal platform improvement. He has contributed to notable open-source work such as bors-ng, improving merge-batch logic and conflict handling for GitHub PR workflows—evidence of pragmatic, repository-level impact on developer productivity. Comfortable across backend systems and tooling, he combines production-grade reliability with a focus on smoothing developer workflows. Chao holds a CS bachelor’s from Zhejiang University of Technology and an MS in Computer Science from USC, underpinning his practical engineering with formal training.
11 years of coding experience
7 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at University of Southern CaliforniaBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Zhejiang University of Technology
English, Chinese
Github Skills (4)
elixir10
continuous-integration10
github10
testing9
Programming languages (4)
Github contributions (5)
bors-ng/bors-ng
Dec 2019 - Jan 2020
👁 A merge bot for GitHub Pull Requests
Role in this project:
Back-end Developer
Back-end DeveloperContributions:11 commits, 3 PRs, 5 comments in 26 days
Contributions summary:Chao primarily contributed to the core logic of the `bors-ng` project, which is a merge bot for GitHub Pull Requests. Their commits focused on improving the batch processing of pull requests, adding features like a batch details page, and addressing merge conflicts and timeout scenarios. They also made descriptive changes to improve the clarity of commit messages.
appveyorborsbotelixirmerge
Gusto/bors-ng
Dec 2019 - Jan 2020
👁 A merge bot for GitHub Pull Requests
Contributions:18 pushes, 9 branches in 1 month
mergebotpull-requestsmerge-bot
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.