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