Paras Gupta is a Senior Manager at Synopsys, leading the Formal Verification Centre of Excellence and specializing in interface IP formal verification solutions architecture. They previously served as a Senior Engineer at Intel's Formal Verification Central Tech Office, focusing on formal property verification and abstractions. Their professional experience includes roles as a Staff Formal Verification Engineer and Senior Formal Verification Engineer at Intel, as well as a Member of Technical Staff at Innovium Inc. Paras holds a Bachelor's Degree in Electronics and Communications Engineering from Guru Gobind Singh Indraprastha University and a Master's Degree in Signal Processing, Communication and Networks from the Indian Institute of Technology, Kanpur.
Location
Bengaluru, India
Links
This person is not in any teams
This person is not in any offices