Chuyue Sun
Graduate Student Researcher
Palo Alto, California, United States
Summary
🤩
Rockstar🎓
Top SchoolChuyue Sun is a graduate student researcher at Stanford with eight years of software and quantitative research experience spanning academia and industry, including internships at Microsoft and Citadel Securities. Trained at MIT (EECS) and Wellesley (Physics) and pursuing a PhD in Computer Science, she blends rigorous theoretical grounding with hands-on systems work. Her open-source contributions to the prominent fiat-crypto project show deep familiarity with symbolic execution and formal code generation for cryptographic primitives, where she refined proof-related functions and rewrite rules to improve back-end codegen. Comfortable moving between research prototypes and production-focused internships, she brings a knack for turning formal methods into practical tooling—an uncommon bridge between cryptography research and deployable software. Based in Palo Alto, she focuses on scalable, verifiable systems that benefit from both quantitative finance and academic research perspectives.
8 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS Electrical Engineering and Computer Science, Bachelor of Science - BS Electrical Engineering and Computer Science at Massachusetts Institute of TechnologyBachelor of Arts - BA Physics, Bachelor of Arts - BA Physics at Wellesley CollegeDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Stanford University
English, Chinese
Github Skills (6)
symbolic-execution10
formal-verification10
coq10
logic9
assembly9
functional-programming8
Programming languages (11)
Github contributions (5)
mit-plv/fiat-crypto
Jul 2021 - Aug 2021
Cryptographic Primitive Code Generation by Fiat
Role in this project:
Back-end Developer
Back-end DeveloperContributions:15 commits, 2 PRs, 13 pushes in 18 days
Contributions summary:Chuyue contributed to the Fiat-Crypto project by modifying code related to symbolic execution and cryptographic primitive code generation. Their commits primarily involved fixing and refining proof-related functions, including those for truncation and simplification. They introduced and modified rewrite rules for operations like `rcr` and `bzhi` within the symbolic execution framework, enhancing code generation capabilities.
cryptographycode-generationfiatcryptographicprimitive
ChuyueSun/sglang
Jul 2024 - Apr 2025
SGLang is yet another fast serving framework for large language models and vision language models.
Contributions:48 pushes, 3 branches in 8 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.