About
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.
Research Areas
Learn more about how we do research
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work