Nathan Chong
Principal Applied Scientist at Amazon Web Services (AWS)
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolNathan Chong is a Principal Applied Scientist at AWS with eight years of industry experience and a PhD in computer science from Imperial College London, specializing in formal verification and concurrency for computer architecture. He has influenced core architecture technologies at Arm—contributing to CPU virtualization features and semantics work on transactional and weak memory that earned a PLDI distinguished paper—and has a track record of shipping tools and products bridging academia and industry. Equally comfortable writing production code and developing verification tools (e.g., GPUVerify integrated into the ARM Mali toolchain), he leads automated reasoning efforts to make hardware/software boundaries more secure and correct. Based in New York, he combines deep theoretical insight with practical engineering, and his background includes startup founding and EPSRC-funded independent research, underscoring both entrepreneurial drive and rigorous scholarship.
9 years of coding experience
9 years of employment as a software developer
Mathematics, Mathematics at The Open UniversityBSc Computer Science, BSc Computer Science at The University of ManchesterDoctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at Imperial College London
Github Skills (13)
robot8
algorithm8
java6
robotics5
react3
nextjs3
methodology1
markdown1
acceleration1
sketchup1
python1
architecture1
testing1
Programming languages (3)
Github contributions (5)
NathanielChong/NathanielChong.github.io
Oct 2017 - Jun 2025
Contributions:1 PR, 32 pushes, 1 branch in 7 years 8 months
reactnextjs
NathanielChong/Ubuntu-Linux-Security-Scripts
Oct 2017 - Mar 2018
Contributions:15 commits, 7 PRs, 6 pushes in 4 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.