Ms. Jin Hou received her Ph.D in formal verification from Université de Montréal. She is currently a product engineer for Questa Formal at Siemens EDA. She has 13 years working experience in Formal Verification and Assertion-based Verification, 8 years as CAE supporting the formal tool Magellan at Synopsys, and 5 years as a Product Engineer at Siemens EDA supporting Questa® AutoCheck, PropCheck, Cover Check, X-Check, Connectivity Check, Register Check, Secure Check, SLEC. She has been working in product definition, customer support, tool testing, customer training, technical marketing. She has applied formal verification to a lot of customer designs and helped worldwide customers adopt advanced technologies.