Alastair F. Donaldson

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, leading the Multicore Programming Group. His research focuses on programming languages, compilers, and automated testing of software systems. He previously directed GraphicsFuzz, an Imperial College spinout acquired by Google in 2018.

• Education: PhD in Computer Science (University of Glasgow), Postdoctoral Research Fellow (University of Oxford), Visiting Researcher (Microsoft Research Redmond)

His research interests include:

• Compiler Design and Verification
• Randomized Testing Techniques
• Multicore and GPU Programming
• Formal Methods for Software Reliability

Recent publications emphasize compiler fuzzing, metamorphic testing, and verification of GPU systems. He actively contributes to the development of testing tools for programming languages and hardware interfaces.

Alastair holds leadership roles in academic conferences, including Publicity Co-Chair for POPL 2024 and committee roles in ASE, ECOOP, PLDI, and SPLASH. He maintains a personal website at http://www.doc.ic.ac.uk/~afd and has been registered on conf.researchr.org since 2015.