Xi Cheng
Staff Engineer I at VMware
Haidian District, Beijing, China
Summary
👤
Senior🎓
Top SchoolXi Cheng is a Staff Engineer at VMware with a decade of experience building SDN and network observability features across vSphere, NSX and VMC on AWS. He combines deep research roots—a PhD from Tsinghua in software engineering focused on SMT-based program repair, static analysis and automated theorem proving—with hands-on delivery of features like Traceflow, Live Traffic Analysis, latency monitoring and runbook-driven debuggability. Xi has driven full-stack implementations spanning datapath, control and management planes, bringing production-grade observability to virtual machines, containers, multi-cloud and bare-metal environments. Recognized with multiple internal awards for leadership and innovation, he’s comfortable bridging formal methods and practical systems engineering to solve tricky network diagnosability problems. An intriguing detail: his PhD work on automatic repair for C integer errors informs a rare blend of formal verification techniques applied to real-time network tooling.
10 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Software Engineering, Doctor of Philosophy - PhD, Software Engineering at Tsinghua University
Chinese, English, Japanese, French, Spanish
Github Skills (2)
decomposition6
smt3
Github contributions (5)
45258E9F/IntPTI
May 2017 - Jun 2018
Contributions:53 commits in 1 year
cxcfan/cxcfan.github.io
Oct 2017 - Apr 2019
Contributions:11 pushes, 1 branch in 1 year 6 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.