Dr. Pei-Hsin Ho

Pei-Hsin Ho received the M.S. and Ph.D. degrees in Computer Science from Cornell University in 1994 and 1995, respectively. At Cornell, He was working on model checking of hybrid reactive systems with Professor Tom Henzinger. Pei-Hsin was with the Strategic CAD Labs, Intel Corporation, from 1995 to 1998, working on model checking of arithmetic circuits, coverage analysis of model-checking properties and formal verification of pipeline control. He is currently with the Advanced Technology Group, Synopsys, working on formal and semi-formal design verification technologies. He is also an adjunct faculty member with the Oregon State University.
©2002-2018 U.C. Regents