Alastair Donaldson is a Senior Lecturer and EPSRC Early Career Fellow in the Department of Computing, Imperial College London, where he leads the Multicore Programming Group. He has published more than 70 peer-reviewed papers in formal verification, multicore programming and software testing, and leads the GPUVerify project on automatic verification of GPU kernels, which is a collaboration with Microsoft Research. Alastair coordinated the FP7 project CARP: Correct and Efficient Accelerator Programming, which completed successfully in 2015. Before joining Imperial, Alastair was a Visiting Researcher at Microsoft Research Redmond, an EPSRC Postdoctoral Research Fellow at the University of Oxford and a Research Engineer at Codeplay Software Ltd. He holds a PhD from the University of Glasgow.