Biography

Alastair Reid is a Senior Principal Engineer in the Research group at Arm Limited. He has worked on three Haskell compilers, operating systems, embedded systems, software-defined radio, processor architecture and, most recently, he has worked on creating formal specifications of the Arm processor architecture.

Alastair holds over 20 patents in microarchitecture, architecture and compilers and holds a PhD from the University of Glasgow.