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.
This person is not in any teams
This person is not in any offices