Manish Goyal
Apple | Ex-UNC | Ex-IITG
- Role
- Formal Verification Engineer at Apple
- Location
- Austin, TX, US
- LinkedIn followers
- 500 followers
Information TechnologyView LinkedIn profile
About Manish Goyal
CPU FV engineer at Apple. My PhD thesis was on the behavioral validation of…
Experience
Formal Verification Engineer
Aug 2022 — Present · Austin, TX, US
Education
The University of North Carolina at Chapel Hill
Doctor of Philosophy - PhD, Computer Science
Skills
- C/C++ Stl
- Java
- Sql
- C++
- C
- Algorithms
- Embedded Systems
- Core Java
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.