|
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.
|