Nathan Chong

I am a staff researcher for Arm. 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 with Alastair F. Donaldson on scalable verification techniques for data-parallel programs.


Talks and Drafts