Personal Information
- Last name
- Donaldson
- First name
- Alastair
- Function
- Company Researcher
- Web site
- http://www.codeplay.com
Research
- Research keywords
- compilation, parallelism, multi-core, optimisation, model checking, verification
- URL DBLP
- http://dblp.uni-trier.de/db/indices/a-tree/d/Donaldson:Alastair_F=.html
Research Group
- Advisor
- Albert Cohen
History
- Member for
- 4 years 34 weeks