Disha Puri is an accomplished professional with a strong background in computer science and formal verification. Disha's career includes roles at Intel Corporation as a Graduate Technical Intern, Formal Verification Engineer, and currently as the Formal Verification Engineering Manager, with responsibilities focused on Datapath formal verification. Disha also gained experience as an Analyst in Capital Markets at Lehman Brothers and Nomura Holdings, where portfolio management and developing distributed computing frameworks were key contributions. Additionally, Disha served as a Teaching Assistant at Portland State University and worked as a Research Assistant at the System Validation Laboratory. Disha holds a Doctor of Philosophy (PhD) and a Master of Science (MS) in Computer Science from Portland State University, as well as a Bachelor of Engineering (BE) in Computer Science from Delhi College of Engineering. Currently, Disha is the Director of R&D Engineering: Formal COE at Synopsys Inc, leading efforts in Datapath Formal Verification and Software Formal Verification.
This person is not in the org chart
This person is not in any teams
This person is not in any offices