Xinyu He
Senior Software Engineer at 微软
Minhang District, Shanghai, China
Summary
👤
Senior🎓
Top SchoolXinyu He is a Senior Software Engineer with 16 years of experience building large-scale cloud and edge systems, currently working on AI agent orchestration at Microsoft in Shanghai. He has deep expertise in Azure platform components—networking, Kubernetes, storage prototypes using RDMA/PMEM—and previously drove resilient, high-throughput judging infrastructure at LeetCode that supported contest-scale auto-scaling and CI/CD. Xinyu combines strong systems engineering with practical product sensibilities: instrumentation and monitoring (StatsD/Graphite/Grafana), read/write splitting for global databases, and automated deployment/rollback workflows. Comfortable across distributed storage, networking and backend services, he often focuses on reliability and operational simplicity—hence his self-described “lazy coder” ethos that favors elegant automation over manual toil. Trained at UT Austin (MS CS) and with a BS in Mathematical Economics, he brings both rigorous technical foundations and a quantitative mindset to infrastructure challenges.
16 years of coding experience
6 years of employment as a software developer
Bachelor of Science - BS Mathematical Economics, Bachelor of Science - BS Mathematical Economics at Shanghai University of Finance and EconomicsMaster's degree Computer Science, Master's degree Computer Science at The University of Texas at Austin
Github Skills (37)
look-and-feel10
intellij9
vscode-extension9
flatlaf9
intellij-plugin9
swing9
vscode9
markdown8
code-completion7
cropperjs6
gradle-plugin5
code-analysis5
vim5
bytecode-manipulation5
hugo4
Programming languages (5)
Github contributions (5)
legendmohe/vimfiles
Dec 2013 - Feb 2023
Contributions:39 commits, 22 pushes in 9 years 3 months
legendmohe/LEHome_android
Apr 2014 - Feb 2015
Contributions:33 commits, 3 pushes in 10 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.