Zheyuan Chen
Software Engineer at Meta
San Jose, 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.
8 years of coding experience
9 years of employment as a software developer
Master's degree, Civil Engineering, Master's degree, Civil Engineering at Kanazawa UniversityUniversity of California Santa CruzBachelor's degree, City/Urban, Community and Regional Planning, Bachelor's degree, City/Urban, Community and Regional Planning at Zhejiang University
Chinese, English, Japanese
Github Skills (90)
vector-database10
perl10
gcc10
elasticsearch10
serverless10
cpp10
shader10
glsl10
llm-inference10
telescope10
sql10
ai10
rust10
data-access10
database10
Programming languages (9)
Github contributions (5)
ArberSephirotheca/gpu-subgroup_semantics-TLAPlus
Apr 2024 - Apr 2026
Contributions:36 PRs, 181 pushes, 46 branches in 2 years
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.