Alastair Reid is a Senior Principal Engineer at Intel Labs and was previously at Arm Research for 15 years and Google Research for 2 years. At Arm, Alastair helped to create machine readable, executable, formal specifications of the Arm processor architectures and to develop the way that Arm formally verifies processors against this specification. He has also worked on Arm’s vector instruction sets, processor micro-architecture, software-defined radio, library operating systems, embedded systems, and three Haskell compilers. Alastair has published about 20 papers, holds about 20 patents and earned a PhD from the University of Glasgow.