formal verification engineer @google | ex qualcomm@ Google
Allahabad, Uttar Pradesh, India
Piyush Kumar Gupta
GET FULL PROFILE 
Motilal Nehru National Institute Of Technology
Real-Time AI Research
FlashIntel GPT
Tell me more about Piyush Kumar Gupta?
FlashIntel GPTPiyush Gupta is a Formal Verification Engineer with 5.3 years of experience. He has worked on various formal tools such as VC Formal and Jasper Gold, specializing in connectivity, formal security verification, property verification, and Sequential Equivalence Apps. Piyush has extensive experience in the formal domain, designing test plans, and resolving convergence issues. He has worked at Google and Qualcomm, gaining expertise in software development and information and cultural products. Piyush is well-versed in abstraction techniques for complexity reduction and resolves convergence issues.
For inquiries about Phone Number and Email, please click here Unlock Contact
Emails and Phone Numbers
About
Formal Verification Engineer Worked on various formal tools like VC Formal, Jasper Gold. Worked on connectivity, formal security verification, formal property verification and Sequential Equivalence Apps. Have worked extensively in the formal domain from designing of test plan to compete sign off of blocks using formal. Well versed with commonly used abstraction techniques for complexity reduction and resolve convergence issues.
Work Experience
formal verification engineer @google | ex qualcomm
Software Development
Piyush Kumar Gupta's Professional Milestones
- Associate Engineer (2019-09-01~2020-11-01): Designing and implementing engineering strategies to improve the efficiency and overall project success.
- formal verification engineer @google | ex qualcomm (2022-07-01~): Optimized product validation processes, improving accuracy and efficiency while maintaining strict compliance.
Education
Electronics And Communications Engineering
2015-2019Certification
Colleagues
Other Named Piyush Kumar Gupta
Frequently asked questions
We found 1 Piyush Kumar Gupta's email addresses
We found 1 Piyush Kumar Gupta's phone numbers
Piyush Kumar Gupta's social media include: Linkedin,
Piyush Kumar Gupta works for Google
Piyush Kumar Gupta's role in Google is formal verification engineer @google | ex qualcomm
Piyush Kumar Gupta works in the industry of Software Development
Piyush Kumar Gupta's colleagues are Md mamun Ali,Adarsh Yt Yt,JLT Marina alldayopenDentalclinic
Piyush Kumar Gupta's latest job experience is formal verification engineer @google | ex qualcomm at Google
Piyush Kumar Gupta's latest education in Motilal Nehru National Institute Of Technology
