Kevin Cheang
Applied Scientist at Amazon Web Services (AWS)
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolKevin Cheang is an Applied Scientist at AWS AI Labs with 11 years of experience bridging rigorous research and production systems, grounded in a PhD in EECS from UC Berkeley. He combines formal methods and practical engineering—demonstrated by sustained contributions to the Move Prover for the Diem blockchain where he focused on specification correctness, SMT-based mutation testing, and robust smoke tests. His background includes security formal verification at Intel and multiple internships at industry leaders (Facebook/Meta, Microsoft, Amazon) that reflect deep expertise in verification, backend systems, and reliability. Based in Berkeley, he pairs strong theory from a combined honors Math & CS undergraduate degree with hands-on implementation skills, often gravitating toward projects that require provable correctness under real-world constraints. An understated strength is his ability to translate formal proofs into testable, maintainable code, helping make advanced verification tools practical for large-scale systems.
11 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD, Electrical Engineering and Computer Science, Doctor of Philosophy - PhD, Electrical Engineering and Computer Science at University of California, BerkeleyBachelor of Science (B.Sc.), Combined Honors Mathematics and Computer Science, Bachelor of Science (B.Sc.), Combined Honors Mathematics and Computer Science at The University of British Columbia
Github Skills (13)
smart-contracts10
lang10
move10
formal-verification10
movelang10
blockchain10
testing10
aptos9
rust8
data-structure7
data-structures7
algorithm7
algorithms7
Programming languages (4)
Github contributions (5)
diem/diem
Jun 2020 - Jun 2020
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:11 commits, 19 PRs, 25 comments in 16 days
Contributions summary:Kevin primarily contributes to the Move Prover for the Diem blockchain project. Their work involves fixing bugs related to specification counters and the `aborts_if` conditions. They also updated documentation and implemented a smoke test, demonstrating a focus on code correctness, specification, and testing. The user's contributions show expertise in the Move language and the associated verification tools.
diemfinancialtrustedethereumblockchain
uclid-org/riscverifier
Dec 2019 - Aug 2022
Contributions:205 commits, 3 pushes in 2 years 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.