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). 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

Contacts

PhD Admissions Tutor

Dr. Giuliano Casale

PhD Programme Administrator
Dr. Amani El-Kholy