Mertcan Temel
Formal Verification Engineer
Mountain View, California, United States
Summary
👤
Senior🎓
Top SchoolMertcan Temel is a Formal Verification Engineer with nine years of experience applying formal methods to complex microarchitecture problems, currently working at Apple after four years at Intel. He holds a Ph.D. in Computer Engineering from UT Austin and has a strong track record in verification of multipliers, x86 decoders, tool development, and logic synthesis from roles at Centaur and EPFL. Proficient in Formal Verification, Python, Perl, C++, and Java, he blends deep research experience with practical tooling to drive silicon correctness and automation. Based in Mountain View, he brings both academic rigor and production-focused engineering to chip verification pipelines. A detail-oriented researcher-turned-engineer, he often bridges theory and practice by turning formal proofs and models into usable verification tools.
9 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD Computer Engineering, Doctor of Philosophy - PhD Computer Engineering at The University of Texas at AustinBachelor of Science (BS) Electrical and Electronics Engineering, Bachelor of Science (BS) Electrical and Electronics Engineering at Arizona State UniversityBachelor of Science (BS) Electrical and Electronics Engineering, Bachelor of Science (BS) Electrical and Electronics Engineering at Bilkent University
Turkish, English, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (12)
theorem-proving10
first-order-logic10
sat-solver10
proof-assistant10
formal-verification10
formal-methods10
rewriting10
coq10
common-lisp10
logic10
mojolicious5
lists3
Programming languages (1)
Github contributions (5)
temelmertcan/acl2
Aug 2019 - Nov 2021
ACL2 System and Books as Maintained by the Community
Contributions:227 pushes, 1 branch in 2 years 2 months
acl2
temelmertcan/multgen
Oct 2019 - Jan 2023
Contributions:30 commits, 36 pushes, 1 branch in 3 years 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.