Jin Zhang is a product management director for the Synopsys EDA Group responsible for the industry-leading Synopsys VC Formal formal verification solution. She received her Ph.D in electrical and computer engineering in 2006 and MBA in international management in 2010.