Scholar
Alastair Donaldson
Google Scholar ID: ZIUuqNwAAAAJ
Imperial College London
Programming Languages
Software Testing and Verification
Compilers
GPUs and Accelerators
Concurrency
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,381
H-index
38
i10-index
87
Publications
20
Co-authors
59
list available
Publications
2 items
Complexity Theory of Randomised Testing
2026
Cited
0
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
2025
Cited
0
Co-authors
11 total
Alice Miller
Professor, University of Glasgow
Tyler Sorensen
Assistant Professor, UC Santa Cruz
Daniel Kroening
Amazon
Shaz Qadeer
Microsoft
Cristian Cadar
Imperial College London
Albert Cohen
Google
Tobias Grosser
University of Cambridge
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
