Mayank Kumar is a Senior Formal Verification Engineer at Arm, where they apply formal verification to design blocks of next-generation IPs for formal sign-off. Previously, they held positions as a Formal Verification Engineer at Intel Corporation and a Software Engineer at CommScope. Mayank completed research internships at the Indian Institute of Technology, Kanpur, and the Indian Institute of Technology, Hyderabad. They earned a Bachelor of Technology (Honors) in Electrical Engineering from the Indian Institute of Technology, Bhilai, graduating with a GPA of 9.19/10.
This person is not in the org chart
This person is not in any teams
This person is not in any offices