Sophie Andrews
Formal Verification Engineer at Apple
- Role
- Formal Verification Engineer at Apple
- Location
- San Francisco, CA, US
- LinkedIn followers
- 500 followers
Information TechnologyView LinkedIn profile
Experience
Formal Verification Engineer
Aug 2024 — Present · Cupertino, CA, US
Working on proving properties about Apple’s CPU, finding design bugs, and improving efficiency to existing methods for verifying the CPU’s complex micro-architecture.
Education
Stanford University
Master's degree, Computer Science
Stanford University
Bachelor's degree, Mathematics and Computer Science
2019 — 2023
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.