Nathaniel Chong
Software Engineer
New York, New York, United States
Summary
👤
SeniorNathan 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.
8 years of coding experience
Github Skills (12)
robot6
java6
robotics5
react3
nextjs2
methodology1
markdown1
acceleration1
sketchup1
python1
architecture1
testing1
Programming languages (3)
Github contributions (5)
NathanielChong/NathanielChong.github.io
Oct 2017 - Jan 2024
Contributions:1 PR, 30 pushes, 1 branch in 6 years 3 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.