Alastair F. Donaldson (Ally) is a Reader in Computing at Imperial College London, where he leads the Multicore Programming Group. He is also Founder and Director of GraphicsFuzz. Read more.

Postdoc position available!

Research Associate in Compositional Reasoning for High-Assurance Many-Core Software, deadline 1 July 2018. 2.5 years. Job advert. Please get in touch if you are interested in applying and want to chat informally first.

Latest News

  • Rapita Systems interview (January 2019)

    Dan Iorga visited Rapita Systems and talked about the approach of our group to evaluating worst-case execution time on multicore systems. Check it out here.

    8 days ago
  • GraphicsFuzz is acquired by Google (August 2018)

    I’m really excited that my company, GraphicsFuzz, has been acquired by Google, and that I’ll be joining the Android Graphics team whilst maintaining a part-time appointment at Imperial. Check out the announcement.

    5 months ago
  • Postdoc position in "Compositional Reasoning for High-Assurance Many-Core Software" (May 2018)

    We are hiring for a 2.5 year postdoc to work on reasoning techniques for many-core systems where performance and reliability are both of prime importance. This is part of the EPSRC-funded IRIS Programme Grant. The post will be co-supervised by John Wickerson.

    Closing date is 1 July 2018.

    Here is the job advert.

    Please get in touch informally if you are interested and have questions!

    7 months ago
  • Postdoc position in "Security Analysis of Graphics Drivers" (February 2018)

    We are hiring for a 2.5 year postdoc to work on novel methods for testing graphics drivers for security issues!

    Here’s a blog post about the broad area of the project, and here is the job advert.

    Please get in touch informally if you are interested and have questions.

    11 months ago
  • Chrome University Research Program project (January 2018)

    We are excited to be starting a new research project, “Automatic Detection of Rendering-Related Security Vulnerabilities in Web Browsers”, funded by the Google Chrome University Research Program.

    a year ago
  • ECOOP 2019 PC chair (December 2017)

    I’m honoured to be serving as Chair of the Programme Committee for the 2019 European Conference on Object-Oriented Programming (ECOOP).

    a year ago
  • Video from Roger Needham Lecture (November 2017)

    Last week I gave the BCS Roger Needham Lecture at the Royal Society. A video of the slides + audio is now available:

    a year ago

View all news »

Latest Publications

View all publications »