Imperial College London


Faculty of EngineeringDepartment of Computing

Reader in Programming Languages



+44 (0)20 7594 8266alastair.donaldson Website




422Huxley BuildingSouth Kensington Campus





I am a Lecturer in Computing at Imperial College London where I am:

I teach courses on Object-Oriented Programming and Software Reliability.

See my homepage for more information.



Magron V, Constantinides G, Donaldson AF, 2018, Certified Roundoff Error Bounds Using Semidefinite Programming, Acm Transactions on Mathematical Software, Vol:43, ISSN:1557-7295

Ketema J, Donaldson AF, 2017, Termination analysis for GPU kernels, Science of Computer Programming, Vol:148, ISSN:0167-6423, Pages:107-122

Donaldson AF, Evrard H, Lascu A, et al., 2017, Automated Testing of Graphics Shader Compilers, Proceedings of the Acm on Programming Languages, Vol:1, ISSN:2475-1421

Betts A, Chong N, Deligiannis P, et al., Implementing and evaluating candidate-based invariant generation, Ieee Transactions on Software Engineering, Vol:44, ISSN:1939-3520, Pages:631-650


Sorensen T, Evrard H, Donaldson AF, 2017, Cooperative kernels: GPU multitasking for blocking algorithms, 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, ACM

More Publications