Name:Alastair Reid

Bio:

Researcher at Google (UK) 2019-present

• Rust verification tools
• Formal verification of hypervisors

Researcher at Arm Ltd (UK) 2004-2019

• Model checking processor pipelines (newest)
• Formal architecture specifications
• Wide SIMD instruction set
• Pipeline parallelism
• Software defined radio
• Vectorising compilers (oldest)

Researcher at University of Utah (USA), 1998-2004

• Component based / Library operating systems

Researcher at Yale University (USA), 1994-1998

• Haskell foreign function interface
• Functional Reactive Programming
• Visual Tracking in Haskell
• Haskell library/compiler development

Researcher at University of Glasgow (UK), 1988-1994

• Formal specification and verification
• GHC foreign function interface

Education

• Ph.D. Glasgow University, “Defining interfaces between hardware and software: Quality and performance”
• M.Sc. Glasgow University, “A precise semantics for Ultraloose Specifications”
• B.Sc. University of Strathclyde.

Country:United Kingdom

Affiliation:Google Research

Research interests:formal verification, security, functional languages, computer architecture