Yirng-An Chen's() home page
My thesis was advised by Prof.
Randal E. Bryant at Carnegie Mellon University.
My research interests were in formal verification,
especially in
Arithmetic
Circuit verification, and BDD
related research.
Finger me: yachen@cs.cmu.edu
Send e-mail: yachen@cs.cmu.edu
This page has been accessed
times, since Oct 9, 1997.