Dr. Pei-Hsin Ho

Pei-Hsin Ho received his Ph.D. degree in Computer Science from Cornell University in 1995. His thesis was on model checking of embedded systems modeled as hybrid automata. From 1995 to 1998, He was with Intel Strategic CAD Labs, working on model checking of pipeline control and arithmetic circuits in microprocessors as well as formal coverage analysis for property verification. Since 1998, he has been with the Advanced Technology Group of Synopsys, working on formal and semi-formal functional verification tools.

Email address: pho@synopsys.com