nathan Supervised by: Alastair Donaldson

What is he doing now: Was overall winner in the 2014 EPSRC ICT Pioneers competition (as well as winning the Technology Everywhere category).

I am a research associate at UCL. My research interests are parallel programming, computer architecture and formal reasoning. Specifications and problems at the hardware/software boundary get me excited. My previous work in this area include proofs of correctness for cache-coherence protocols, memory models and formalising architectural specifications. My PhD focused on scalable verification techniques for data-parallel programs.

I have a background in industry as a research engineer at ARM where I worked on hardware and software at many levels of the system stack.