Alastair Donaldson

Full Professor, Computing, Imperial College London

  • Joined July 2019

Names

Alastair Donaldson (Preferred)
,
Alastair F. Donaldson

Emails

****@imperial.ac.uk (Confirmed)

Personal Links

Career & Education History

Full Professor
Computing, Imperial College London (imperial.ac.uk)
2011 – 2025
 
Postdoc
Computer Science, Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2009 – 2011
 
PhD student
Computing Science, University of Glasgow (gla.ac.uk)
2003 – 2007
 

Advisors, Relations & Conflicts

PhD Advisee
2015 – 2019
 
Postdoc Advisor
2009 – 2011
 
PhD Advisor
2003 – 2007
 

Expertise

AI benchmarking
2023 – 2025
 
Software testing
2015 – 2025
 
Programming languages
2009 – 2025
 
Formal verification
2003 – 2025