Xudong Sun
PhD Candidate
Champaign, Illinois, United States
Summary
🤩
Rockstar🎓
Top SchoolXudong Sun is a PhD candidate in Computer Science at UIUC with nine years of industry and research experience focused on systems and software research. He has applied his academic work in real-world settings through multiple research internships at VMware and Microsoft, demonstrating a knack for translating theory into practical prototypes. Based in Champaign, Illinois, he brings a strong foundation from Nanjing University and sustained engagement with cutting-edge problems in distributed systems and virtualization. Colleagues describe him as a researcher who balances deep technical rigor with pragmatic engineering, often contributing across project boundaries during short-term internships. An understated strength is his ability to quickly integrate into large engineering teams and deliver research-informed solutions within constrained timelines.
9 years of coding experience
Xuzhou No.1 Middle SchoolBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Nanjing UniversityUniversity of Illinois Urbana-Champaign
Github Skills (81)
testing10
low-level10
operator10
go-client10
kubernetes-operator10
kubernetes10
verification10
go10
reliability10
docker10
mesos9
podman9
golang9
service-discovery9
database9
Programming languages (6)
Github contributions (5)
marshtompsxd/Machine-Learning-2018-NJU
Mar 2018 - Jun 2018
Contributions:45 commits in 3 months
anvil-verifier/anvil
Jan 2023 - Mar 2025
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
Contributions:556 reviews, 756 PRs, 909 pushes in 2 years 2 months
verifiedcontrollerscluster-managementformally-verifiedpractical
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.