Chen Michael is a highly skilled engineering professional with extensive experience in formal verification. Currently serving as a Staff Formal Verification Engineer at Axiomise since May 2024, Chen previously held roles at Intel Corporation as a Formal Verification Engineer and System Level Emulation Engineer from January 2020 to May 2024. Prior to Intel, Chen worked as a Formal Verification Engineer at Marvell Semiconductor and IBM, where responsibilities included verifying critical functions of high-end processors like POWER9 and OpenPower. Chen began a career in the semiconductor industry with internships at Broadcom Limited, focusing on logic design and software development for integrated circuits. Chen holds a Master's degree in Mathematical Statistics and Probability from The Hebrew University of Jerusalem and a Bachelor of Science in Communication Systems Engineering from Ben-Gurion University of the Negev.
This person is not in any teams
This person is not in any offices