Levent Erkok is a Formal Verification Engineer at Apple, a position they have held since 2019. They previously worked as a Formal Verification Engineer at Intel Corporation from 2011 to 2019 and as a Member of Technical Staff at Galois, Inc. from 2006 to 2011. Levent also served as a Research Scientist at Intel in 2006. They earned a PhD in Computer Science from the OGI School of Science and Engineering at OHSU, and hold master's degrees from both The University of Texas at Austin and Orta Doğu Teknik Üniversitesi, where they also completed their undergraduate studies.
This person is not in the org chart
This person is not in any teams
This person is not in any offices