Mertcan Temel

Mertcan Temel, Ph.D., is a Formal Verification Engineer with extensive experience in the higher education industry and notable proficiency in Formal Verification, Python, Perl, C++, and Java. Mertcan earned a Doctor of Philosophy - Ph.D. in Computer Engineering from The University of Texas at Austin, following a series of degrees in Electrical and Electronics Engineering. They have held formal verification positions at Centaur Technology, Intel Corporation, and currently at Apple since 2025. Mertcan has also contributed as a Research Intern at EPFL, enhancing skills in software engineering and logic synthesis.