Alastair Donaldson
Scholar

Alastair Donaldson

Google Scholar ID: ZIUuqNwAAAAJ
Imperial College London
Programming LanguagesSoftware Testing and VerificationCompilersGPUs and AcceleratorsConcurrency
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,381
 
H-index
38
 
i10-index
87
 
Publications
20
 
Co-authors
59
list available
Contact
No contact links provided.
Publications
2 items
Complexity Theory of Randomised Testing
2026
Cited
0
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
2025
Cited
0
Resume (English only)
Co-authors
59 total
Co-author 1
Co-author 1
Alice Miller
Alice Miller
Professor, University of Glasgow
Tyler Sorensen
Tyler Sorensen
Assistant Professor, UC Santa Cruz
Daniel Kroening
Daniel Kroening
Amazon
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Shaz Qadeer
Shaz Qadeer
Microsoft
Cristian Cadar
Cristian Cadar
Imperial College London