Imperial College London

DrAlastairDonaldson

Faculty of EngineeringDepartment of Computing

Senior Lecturer
 
 
 
//

Contact

 

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

 
 
//

Location

 

422Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

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.

Publications

Journals

Betts A, Chong N, Deligiannis P, et al., Implementing and Evaluating Candidate-Based Invariant Generation, Ieee Transactions on Software Engineering, ISSN:1939-3520

Magron V, Constantinides GA, Donaldson A, Certified roundoff error bounds using semidefinite programming, Acm Transactions on Mathematical Software, ISSN:1557-7295

Magron V, Constantinides G, Donaldson A, 2017, Certified Roundoff Error Bounds Using Semidefinite Programming, Acm Transactions on Mathematical Software, Vol:43, ISSN:0098-3500, Pages:1-31

Conference

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

Lidbury C, Donaldson AF, 2017, Dynamic race detection for C++11, Pages:443-457, ISSN:0730-8566

More Publications