Nathan Chong

I am a Principal Applied Scientist for AWS in the Automated Reasoning Group. I help programmers write better programs and architects design better systems. I enjoy working at many levels of the system stack, but particularly verification and specification at the hardware/software boundary.

I got my PhD at Imperial College London with Alastair F. Donaldson on scalable verification techniques for data-parallel programs.


Talks and Drafts