Dominic Murphy

Dominic Murphy is a formal verification expert and Principal Engineer at Arm, possessing nine years of industry experience. They lead a team of formal engineers and are responsible for the planning and execution of formal verification activities, ensuring high standards are maintained across projects. With a strong focus on innovating formal verification methods, Dominic collaborates with various groups to align company-wide approaches while overseeing the verification of Arm’s DynamiQ IP and several M-class processors. They hold a Master’s degree in Electronic Engineering with Computer Systems from the University of Southampton.