I am a Principal 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 College London with Alastair F. Donaldson on scalable verification techniques for data-parallel programs.
https://nchong.github.io
Completing your profile allows others to find you.
As you create your own content, ask and answer questions or share your favourite success stories you are building your following.
The information you enter on this page is visible to registered users of the Community.