Xinyi Zhang is an SDE I at AWS with nine years of hands-on experience spanning systems development, web applications, and programming languages research. A UCSB BS/MS graduate and former graduate researcher, she bridged academic insights and production engineering by applying equality saturation and Datalog to hardware decompilation and building netlist analysis tools in Rust. At AWS she has contributed to EC2 consoles and core platform connectivity using Go, Kotlin, Typescript, and cloud-native services, shipping features that touch DynamoDB, API Gateway, SQS, Lambda, and WASM. Her background includes practical ML work—training models on a 120K+ eye image dataset and deploying them via Flask—and internships that blended Scala/Java backend work with React front-ends. Comfortable across C/C++, Python, Rust, Golang, and functional languages like Racket, she brings both low-level systems fluency and web-scale engineering discipline. Based in Seattle, she pairs research-rooted problem solving with production delivery, often surfacing non-obvious limitations when prototyping new analysis techniques.
9 years of coding experience
2 years of employment as a software developer
Master of Science - MS, Computer Science, 3.91, Master of Science - MS, Computer Science, 3.91 at UC Santa Barbara
High School Diploma, High School Diploma at Cupertino High School
A plugin tracks occurrences and numbers in your notes
Contributions:5 pushes, 2 branches in 1 day
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.