Zhengxun He is a software engineer based in Seattle with nine years of experience building high-throughput, cloud-native systems and embedded solutions. A dual-degree graduate from the University of Michigan in Computer Science and Honors Math with an EE minor, he has shipped production services at AWS that process millions of events per minute while slashing p99 latency and API throttling. His background spans end-to-end work—from Go-based simulators that modeled 150M+ LoRaWAN devices to a Python pipeline still used for weekly sales estimates across 3,000+ Apple stores in China. At AWS he re-architected Partner Events ingestion using TypeScript, SQS and EventBridge to boost batch efficiency and resiliency; earlier roles include R&D leadership for SLAM-driven robotics used at the Beijing Winter Olympics. He combines systems-level performance tuning with practical cloud deployment experience, and is comfortable moving between low-level embedded stacks and large distributed services. Notably, his internships and volunteer projects demonstrate an unusual blend of scale engineering and hands-on product delivery across diverse domains.
9 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS, Honor Math, Bachelor of Science - BS, Honor Math at University of Michigan
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at 美国密歇根大学
Contributions:9 commits, 2 pushes, 1 branch 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.