Personal Website of Yan Chen

Welcome

I am a second year graduate student in Department of Computer Science, Portland State University.

My main research interests are in model checking and algorithm design. Recently, I focused on sequential equivalence checking for hardware design, self-adjusting computation, and prime number analysis.

Personal

I received my bachelor's degree from Fuzhou University in Jun 2006. At PSU, I work closely with Dr. Bryant York and Dr. Fei Xie. Please look at my CV for more information.

Keep the homepage up-to-date is hard, even to approximate... But, I will try to maintain it as fresh as possible :)

Last Update: Jun 12, 2007