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.

Read the full Press Release here.