Aditya Tandon
Formal Verification Manager @Apple
St Albans, GB
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Jun 2025 — Present
Formal Verification Manager @Apple
View department →
GB
Leading GPU control formal verification efforts in UKDC
EDUCATION
1996 — 2010
Bishop Cotton Boys School
ICSE / ISC
2010 — 2014
University of Southampton
Master of Engineering (M.Eng.), Electrical and Electronics Engineering
SKILLS
PythonProblem SolvingSequential Equivalence CheckingMicrosoft WordDigital ElectronicsTeamworkMicrosoft ExcelPowerpointJasperFpgaComputer ArchitectureWindowsUvmVerilogCJavaSystemverilogFormal VerificationProcessorsMicrosoft OfficeFunctional VerificationC#MatlabTcl
ABOUT ADITYA TANDON
GPU Formal Verification Manager at Apple
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.