Gavri Gavrielov
Senior Principal Engineer, Formal Verification
- Role
- Senior Principal Engineer, Formal Verification at Aheadcomputing
- Location
- Portland, OR, US
- LinkedIn followers
- 500 followers
Experience
Senior Principal Engineer, Formal Verification
Apr 2025 — Present · Portland, OR, US
Excited to join AheadComputing to lead the charge in building and shaping the Formal Verification efforts from the ground up.
Education
Bar-Ilan University
Bachelor of Science (BSc)
1999 — 2001
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.