Scholar
Alastair Donaldson
Google Scholar ID: ZIUuqNwAAAAJ
Imperial College London
Citations & Impact
Citations
2,152
H-index
25
i10-index
53
Publications
20
Co-authors
59
list available
Publications
Resume (English only)
Academic Achievements
- Recipient of the 2017 BCS Roger Needham Award
- Holder of an EPSRC Early Career Fellowship
- Published over 100 papers in programming languages, formal verification, software testing, and parallel programming
- Fellow of the British Computer Society
- Editor-in-Chief of ACM Transactions on Programming Languages and Systems (TOPLAS) since 2025
- Member of the Computer Science and Informatics sub-panel for REF 2029 since 2025
Research Experience
- Faculty member, Department of Computing, Imperial College London (2011–present); Professor since 2020
- Visiting Researcher at Google (2021–2022)
- Senior Software Engineer at Google (2018–2021)
- Founder and Director of GraphicsFuzz Ltd. (2017–2018), acquired by Google in 2018
- Visiting then Consulting Researcher at Microsoft Research Redmond (2011–2012)
- EPSRC Postdoctoral Research Fellow, University of Oxford (2009–2011)
- Research Engineer at Codeplay Software Ltd., Edinburgh (2007–2009)
