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.

Untitled

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.

Codeplay Software Ltd has published this article only as an opinion piece. Although every effort has been made to ensure the information contained in this post is accurate and reliable, Codeplay cannot and does not guarantee the accuracy, validity or completeness of this information. The information contained within this blog is provided "as is" without any representations or warranties, expressed or implied. Codeplay Sofware Ltd makes no representations or warranties in relation to the information in this post.
Karon Davis's Avatar

Karon Davis

COO