Alastair Reid

My current research interest is in enabling engineers to formally verify the software they are writing with a particular focus on Rust. Before joining Google Research in 2019, I have worked on formal specification of CPUs, formal verification of CPUs, ISA design processor design, software defined radio, library operating systems, binary analysis, and functional programming, while working at Arm Ltd (UK), University of Utah (UT, USA), Yale University (CT, USA) and Glasgow University (UK). I hold a PhD in formal methods from the University of Glasgow and I have published around 20 peer reviewed papers and have been granted around 20 US patents.