Alastair Donaldson
Professor at Imperial College London
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolAlastair Donaldson is a Professor of Programming Languages at Imperial College London and leader of the Multicore Programming Group, with 14+ years of experience building compilers, verifiers and analyzers for concurrent and GPU-targeted system software. His research and industrial work blends formal verification, algebraic techniques and practical tooling to improve reliability, efficiency and portability on modern multicore and accelerator platforms. He has bridged academia and industry—co-leading projects at Imperial, contributing to Khronos/SPIRV-Tools (notably spirv-reduce), and improving OSS-Fuzz build automation at Google to harden graphics tooling. Comfortable presenting and publishing rigorous research, he also brings hands-on engineering chops from developing compiler back-ends and build/release automation that tangibly improve fuzzing and debugging workflows.
14 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Carnegie Trust for the Universities of ScotlandPh.D., Computing Science, Ph.D., Computing Science at University of Glasgow
Github Skills (21)
spirv10
c-language10
software-design10
cmake10
cicd10
automation10
build-automation10
fuzzing10
automations10
cprogramming-language10
fuzzer10
fuzz-testing10
scripting9
code-optimization9
dockers9
Programming languages (15)
Github contributions (5)
KhronosGroup/SPIRV-Tools
Nov 2018 - Jul 2022
Role in this project:
Back-end Developer
Back-end DeveloperContributions:422 reviews, 277 commits, 684 PRs in 3 years 8 months
Contributions summary:Alastair's contributions are focused on implementing and testing a new tool called `spirv-reduce`, designed to reduce failing test cases by shrinking them. This tool incorporates several features, including the creation and application of various transformations, such as replacing a boolean constant with a numeric comparison or a loop construct with a selection. The user's work involves adding and modifying different functionalities in relation to the source code.
google/oss-fuzz
Dec 2019 - Apr 2022
OSS-Fuzz - continuous fuzzing for open source software.
Role in this project:Automation Engineer / Build & Release Engineer
Automation Engineer / Build & Release EngineerContributions:20 commits, 18 PRs, 19 comments in 2 years 4 months
Contributions summary:Alastair focused on automating and improving the build and release process for fuzzing targets within the OSS-Fuzz project. They added support for new fuzz targets within projects, particularly for SPIR-V and related tools. The user also streamlined the build process by incorporating uninstrumented versions of tools like spirv-as for corpus preparation and optimizing the integration of external libraries. Their work involved modifying build scripts and configurations for projects like tint and spirv-tools.
oss-fuzzfuzz-testingossvulnerabilitiessecurity
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.