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). http://www.epsrc.ac.uk/newsevents/news/ukictpioneers2014/

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.

Thesis

• Scalable Verification Techniques for Data-Parallel Programs
• Supplementary code
• My OOPSLA'13 artifact provides the experiments and code for chapter 4
• My POPL'14 artifact provides the experiments and code for chapter 5