Alastair Donaldson

Professor Alastair Donaldson is a faculty member in the Department of Computing at Imperial College London. He leads the Multicore Programming research group and teaches Object-Oriented Programming. His work focuses on programming languages, compiler verification, and GPU computing.

Research Areas:

• Compiler fuzzing and testing
• Formal verification of GPU programs
• Memory and cache coherence protocols
• Concurrency and synchronization
• Language design for parallel computing
• Software reliability and bug detection

Recent Contributions: His publications highlight advancements in fuzzing techniques for compilers, formal analysis of hardware-software interfaces, and GPU concurrency challenges. Key areas include zero-knowledge proofs, LLM code testing, and multi-level compiler verification.

Groups & Labs: He directs the Multicore Programming research group, focusing on scalable concurrency solutions and programming language semantics.