Bhaskar Pal

Bhaskar Pal is a Principal Engineer at Synopsys Inc, with a tenure beginning in July 2007. Operating within the verification group at the Synopsys India center in Bangalore, Bhaskar has focused on the development of static checking methodologies and infrastructures, particularly in areas such as clock domain crossing verification, low power design techniques, assertion checkers, and netlist level algorithms. Prior to this role, Bhaskar served as a Research Consultant at IIT Kharagpur from July 2001 to July 2007, contributing to various design verification projects and developing formal and semi-formal verification techniques. Bhaskar holds an MS and PhD in Computer Science and Engineering from the Indian Institute of Technology, Kharagpur, and a BTech in Computer Science and Technology from Kalyani Government Engineering College.