The 2017 BCS Roger Needham Award, sponsored by Microsoft Research Cambridge, was awarded to Dr Alastair Donaldson of Imperial College London for his distinguished contributions, through the design and application of rigorous program analysis methods to the emerging field of many-core programming.
Dr Donaldson is a co investigator with Benjamin Livshits, also from Imperial College London of the VeTSS funded proposal Automated Testing for Web Browsers.
In addition to receiving the prestigious award, the recipient has the opportunity to give a public lecture on their work at the annual Roger Needham Lecture. Dr Alastair Donaldson, presented his lecture entitled “Many-core programming: How to go really fast without crashing” at the Royal Society on Monday 20th November. A video of the slides + audio is now available: