Zheyuan Chen
PhD Candidate
California, United States
Summary
🤩
Rockstar🎓
Top SchoolZheyuan Chen is a PhD candidate in Computer Science at UC Santa Cruz with seven years of software engineering experience spanning research and industry. He has built formal verification frameworks with TLA+ for GPU forward-progress models as a graduate researcher and applied middleware engineering for autonomous driving during an internship at Mercedes-Benz R&D. His research internship at Microsoft Research’s RiSE Group underscores a strong blend of systems research and practical implementation. Comfortable in Rust and systems programming (e.g., actix-web work for Rensselaer’s open source center), he bridges formal methods and production-ready software. Based in California, Zheyuan combines deep academic rigor with hands-on contributions to real-world platforms, often focusing on provable correctness in performance-critical systems.
7 years of coding experience
1 year of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Rensselaer Polytechnic InstituteUniversity of California Santa CruzMiddle School Diploma, Middle School Diploma at WFLA
Github Skills (96)
ipfs10
perl10
gcc10
serverless10
shader10
glsl10
scale10
sql10
ai10
rust10
data-access10
database10
storage10
hlsl10
redis10
Programming languages (8)
Github contributions (5)
ArberSephirotheca/gpu-forward-progress-TLAPlus
Apr 2024 - Apr 2025
Contributions:35 PRs, 164 pushes, 44 branches in 11 months
ArberSephirotheca/ArberSephirotheca.github.io
Oct 2022 - Jan 2025
Contributions:23 pushes, 1 branch in 2 years 3 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.