Ennan Zhai
Senior Staff Engineer at Alibaba Group
Hangzhou City, Zhejiang, China
Summary
👤
Senior🎓
Top SchoolEnnan Zhai is a Senior Staff Engineer and Director of Network Research at Alibaba Cloud with 11 years of experience building reliable, secure networking systems through an interdisciplinary mix of verification, programming languages, and security. He holds a PhD from Yale and previously served as a research scientist and lecturer there, publishing over 30 papers in top-tier venues like SIGCOMM, OSDI, NSDI, VLDB, and OOPSLA. At Alibaba he designs and implements verification, synthesis, and model-checking techniques to harden cloud networking at scale. His background blends academic rigor with production engineering, enabling him to translate formal methods into practical reliability features for large cloud deployments. Based in Hangzhou, he combines deep systems research with hands-on product impact across Alibaba’s infrastructure.
11 years of coding experience
7 years of employment as a software developer
Master's degree, Computer Software Engineering, Master's degree, Computer Software Engineering at Peking UniversityDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Yale UniversityBachelor's degree, Computer Software Engineering, Bachelor's degree, Computer Software Engineering at Northeastern University (CN)Programming languages (1)
Github contributions (5)
ennanzhai/repaudit
Jul 2017 - May 2018
Contributions:5 commits, 4 pushes, 1 branch in 9 months
ennanzhai/ennanzhai.github.io
Aug 2018 - Mar 2025
Contributions:79 pushes, 1 branch in 6 years 7 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.