Prasun Das

Prasun Das is an experienced leader currently serving as the R&D Director at Synopsys Inc, where they focus on enhancing Formal Verification performance. They previously worked in various roles at Synopsys, including Senior Manager and Staff R&D Engineer. Prior to this, Prasun held engineering positions at Cadence Design Systems and Interra Systems, where they significantly contributed to Formal Verification tools. They also taught as a Guest Faculty member at Jadavpur University, sharing their expertise in Data Structures and Algorithms with students in the Electronics and Instrumentation Engineering Department. Prasun holds a B.Tech degree in Computer Science and Engineering from the West Bengal University of Technology.