Suraj Kamble
Formal Verification Engineer at Microsoft
Based in Bengaluru, India
7-day free trial · no credit card
Seniority
Staff
Department
Information Technology
Location
Bengaluru
Industry
Software Development
Company size
227K
Contact information
Reveal Suraj's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
s•••••••@microsoft.com
Phone
5 credits+91 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Suraj Kamble
I am a Datapath Formal Verification Engineer at Intel, specializing in the verification of GPU datapath components, including integer, floating-point, and format conversion instructions. I have hands-on experience on various formal verification tools, and I’ve led efforts to build C2RTL equivalence verification environments from scratch. I also collaborate with internal teams and vendors to develop tools that automate formal verification processes and improve regression workflows. My focus is on ensuring the correctness and efficiency of processor designs, especially in complex GPU systems.
Decision-makers
Other people at Microsoft
- JJStaff
Jun Jie
Sales and Marketing Specialist · Sales & Business Development
- JJStaff
Jay Jadav
Registered Nurse · Healthcare & Human Services
- JCOther
Jean-Hubert Cornet
Senior Client Director - Microsoft Advertising Global Media Sales · Other
- RSOther
Rebecca S.
Customer Success Account Manager · Other
- SHStaff
Servando Hernandez
Technical Support Engineer · Information Technology
Build a list of verified contacts at Microsoft
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Suraj
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime