Gavri Gavrielov is a Senior Principal Engineer specializing in Formal Verification at AheadComputing, where they lead initiatives to build and shape the company's Formal Verification efforts. Gavri previously held significant roles at Intel, including Formal Verification Manager and Director of Formal Verification, from 2019 to 2022. They also served as a Formal Verification Manager at Apple from 2016 to 2018 and began their career at Intel as a Formal Verification Engineer from 2001 to 2011. Gavri earned a Bachelor of Science in Computer Science and Mathematics from Bar-Ilan University.
This person is not in the org chart
This person is not in any teams
This person is not in any offices