Alastair Donaldson

Alastair Donaldson is a Professor of Programming Languages at Imperial College London, affiliated with the Department of Computing Science. His research focuses on formal verification for multicore software and software performance optimization. He can be contacted via email at alastair.donaldson@imperial.ac.uk, and his profile page is available at https://profiles.imperial.ac.uk/alastair.donaldson.

Alastair Donaldson is a researcher at Imperial College London with expertise in Programming Languages, Software Testing and Verification, Compilers, GPUs and Accelerators, and Concurrency. His work focuses on developing tools and techniques for verifying and testing software systems, particularly in the context of parallel and heterogeneous computing. Donaldson has contributed to the design of verification frameworks for GPU kernels, such as GPUVerify, and has explored automated testing methods for graphics shader compilers. His research also addresses concurrency issues in modern programming models, including weak memory behaviours and synchronization mechanisms. Additionally, he has worked on compiler fuzzing and intermediate languages for accelerator programming, aiming to improve the reliability and performance of software systems.