Yuyang Liu
SWE @Meta | MSMITE @CMU Graduate 26’
- Role
- Open Source Developer at Meta
- Location
- Mountain View, CA, US
- LinkedIn followers
- 500 followers
Information TechnologyView LinkedIn profile
About Yuyang Liu
You can find out more about me at yuyangl.com
Experience
Open Source Developer
Aug 2025 — Present
Collaborate with AWS to build standard libraries for the Dafny language. Dafny is a verification-ready programming language.
Education
Carnegie Mellon University
Master of Science - MS, Mobile and IoT Engineering
China University of Geosciences
Bachelor of Engineering - BE, Computer Software Engineering
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.