Sam Elliott

Datapath Formal Verification Lead

Sam Elliott is currently the Datapath Formal Verification Lead at Apple, where they are integral to the company's global hardware verification initiatives. With a PhD in Mathematics from the University of Leeds, Sam previously held various engineering roles at Imagination Technologies and was the Formal Verification Lead at AMD. Their early career included research as an Undergraduate Research Assistant at Keele University and a Postdoctoral Research Fellow at the University of Leeds, contributing original mathematical research and publications. Sam's extensive expertise in formal verification methods reinforces Apple's commitment to quality and innovation in technology.

Location

Richmond upon Thames, United Kingdom

Links


Org chart

This person is not in the org chart


Teams

This person is not in any teams


Offices

This person is not in any offices