Sam Elliott
Datapath Formal Verification Lead @Apple
Richmond Upon Thames, GB
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Sep 2022 — Present
Datapath Formal Verification Lead @Apple
View department →
London, GB
Global lead on arithmetic formal hardware verification, across multiple product families and chip types
EDUCATION
2001 — 2005
University of York
Master of Mathematics (MMath)
2006 — 2010
University of Leeds
PhD
2005 — 2006
University of Cambridge
Master of Advanced Study (MAdvSt)
SKILLS
MathematicsVhdlFrenchSynopsys ToolsPerlPythonMathematical AnalysisLatexTclC++PresentationsMathematical DesignModel CheckingUnix Shell ScriptingLinear AlgebraIeee 754 Floating Point StandardResearchFormal Verification
ABOUT SAM ELLIOTT
At the core of Apple\'s global hardware verification initiatives, my role as Datapath…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.