Vincent Abikhattar

Vincent Abikhattar is a Staff Engineer currently at Apple, where they have contributed to CPU formal verification since 2021. Prior to this role, Vincent held positions as a CPU Senior Formal Engineer and Graduate Formal Verification Engineer at ARM from 2018 to 2021, focusing on memory subsystems and formal verification methods. They gained foundational experience through internships, including roles at Thales Defence Mission System and Sorin Group, and completed an engineering degree with honors at Ecole Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble. Vincent also holds a Master’s degree in Computer Science from Université Blaise Pascal, where they graduated magna cum laude.