About

I am a Staff Engineer at ARM working on formal verification methodologies and workflows for hardware designs.

Arm (2015-present)

Arm is where I began my career as a Graduate Engineer. Over the years I have been involved in multiple projects including:

• Applying end-to-end formal verification of the ISA on the Cortex-M33 processor.

• Involved in designing the specification language used for Arm's architecture specifications.

• Developing Arm's internal tool for compiling and transpiling Arm architecture specifications.

• Creating standardized workflows for applying formal verification across the company.

• Creating common workflows for automatically generating verification collateral directly from architecture specifications, used for both formal and simulation.

University of Southampton (2010-2015)

Attained a MEng in Electronic Engineering