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.

Most of my publication and awards are available in postscript form.
I maintained BXD package which contains basic BDD and BMD functions.

Finger me: yachen@cs.cmu.edu
Send e-mail: yachen@cs.cmu.edu

This page has been accessed [count]

[count]

times, since Oct 9, 1997.