Alastair F. Donaldson (Ally)

Ally is a (Full) Professor in the Department of Computing at Imperial College London, and leader of the Multicore Programming Group.

Ally co-teaches a course on Object-Oriented Programming. He previously developed and co-taught a course on Software Reliability.

Ally has served as Deputy Director of Undergraduate Studies (August 2014-September 2016), Faculty Sponsor for the Department’s ACM Student Chapter (July 2016-August 2018) and cohort mentor for second year PhD students (July 2013-January 2014).

Ally’s bio

Multicore Programming Group

The Multicore Programming Group‘s research aim is to help software developers in the construction of applications that are both reliable (ideally, they do not go wrong; realistically, they do not go wrong too often) and efficient (they run quickly and do not consume too much energy). These are competing aims: optimising software for performance and energy-efficiency is challenging, and even the most skilled developers risk introducing serious flaws into a system during the process of optimisation. Our work attempts to help this situation by providing formal verification and testing techniques to help expert programmers write correct low-level software, and high-level programming models from which efficient implementations can be generated to allow non-expert programmers to avoid the pitfalls of hand-optimisation.

The group’s work has traditionally focused on software for multicore and manycore systems, hence the name of the group, but in recent years the group’s interests have expanded to encompass techniques for improving software reliability in general.

Ally’s Bio

Ally is married to Chris, who runs Little Wild Things. They have three kids, Poppy, Felix and Kitty, two cats, Jekyll and Minty, and a dog, Caspar.