Yirng-An Chen's() home page

Photograph

Office: Synopsys.: Phone: 650-584-5204; Email: yachen@cs.cmu.edu

I am working on Magellan product at Synopsys. My thesis was advised by Prof. Randal E. Bryant at Carnegie Mellon University. My research interests are in formal verification, especially in Arithmetic Circuit verification, and BDD related research.

My resume is available in ps or pdf form
My wife's (Mei-Ling Liao) resume is available in ps, pdf and MS Word form
Most of my publication and awards are available in postscript form.
I maintained BXD package which contains basic BDD and BMD functions.
Personal Links.
I like to visit National Parks in US.

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.