FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Alastair F. Donaldson

Registered user since Wed 10 Jun 2015

Name:Alastair F. Donaldson
Bio:

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. He was Director of GraphicsFuzz, an Imperial College spinout company which Google acquired in 2018. Prior to joining Imperial, he was a Visting Researcher at Microsoft Research Redmond, a Postdoctoral Research Fellow at the University of Oxford, a Research Engineer at Codeplay Software Ltd., and a PhD student at the University of Glasgow.

Country:United Kingdom
Affiliation:Imperial College London
Research interests:Programming Languages, Compilers, Verification, Testing, Multicore Programming

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile