Codeplay Engineer wins prestigious EPSRC research award
09 April 2009
Dr. Alastair Donaldson, a compiler engineer with Codeplay Software Limited, Edinburgh, has been awarded a Postdoctoral Research Fellowship by the Engineering and Physical Sciences Research Council, to investigate advanced formal verification techniques for heterogeneous multi-core programming.
Dr Alistair Donaldson
The research will take place over a three year period and will seek to develop analysis and verification techniques to help detect and fix errors early in the design of multi-core software.
