Chungha Sung
Senior Applied Scientist at Amazon Web Services (AWS)
Cupertino, California, United States
Summary
👤
Senior🎓
Top SchoolChungha Sung is a Senior Applied Scientist with a decade of experience applying automated reasoning and compiler techniques to real-world systems, currently working on the Neuron compiler and identity-related automated reasoning at AWS. She holds a PhD in Computer Science from USC and an MS in Computer Engineering from Virginia Tech, bringing deep research rigor to production-scale problems. Her background includes research internships at Microsoft and practical compiler work at MediaTek, reflecting a blend of theoretical foundations and systems engineering. Known for moving formal methods toward deployable tooling, she helps bridge the gap between provable correctness and high-performance cloud inference stacks. Based in Cupertino, she pairs academic depth with hands-on product impact in large distributed environments.
9 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Southern CaliforniaMaster of Science - MS Computer Engineering, Master of Science - MS Computer Engineering at Virginia Tech
Korean, English
Github Skills (4)
neat8
abstract-syntax-tree7
difference6
jekyll3
Programming languages (3)
Github contributions (5)
ChunghaSung/JSdep
Jun 2016 - May 2019
Contributions:31 commits, 62 pushes, 1 branch in 2 years 11 months
ChunghaSung/chunghaSung.github.io
Sep 2017 - Oct 2024
Blog
Contributions:220 pushes, 1 branch in 7 years 2 months
jekyll
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.