Imperial College London


Faculty of EngineeringDepartment of Computing

Senior Lecturer



+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 GA, Donaldson A, Certified roundoff error bounds using semidefinite programming, Acm Transactions on Mathematical Software, ISSN:1557-7295


Cadar C, Donaldson A, Analysing the Program Analyser, International Conference on Software Engineering, Visions of 2025 and Beyond Track, ACM

Lidbury C, Donaldson AF, Dynamic Race Detection for C++11, ACM SIGPLAN Symposium on Principles of Programming Languages, ACM

Batty M, Donaldson AF, Wickerson J, 2016, Overhauling SC Atomics in C11 and OpenCL, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ASSOC COMPUTING MACHINERY, Pages:634-648, ISSN:0362-1340

Deligiannis P, McCutchen M, Thomson P, et al., 2016, Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!), 14th USENIX Conference on File and Storage Technologies (FAST), USENIX ASSOC, Pages:249-262

More Publications