I’m a PhD student at Imperial College London supervised by Alastair Donaldson. I’m interested in writing and reasoning about GPU programs, especially ones that require non-traditional synchronisation idioms.