Yirng-An Chen's() home page

Photograph
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 [count] times, since Oct 9, 1997.