Chao Yan's Homepage

Introduction

Update: I am now in Intel working on formal verification.

I received my MS degree and Ph.D. degree in Department of Computer Science from University of British Columbia, Canada. Supervised by Mark R. Greenstreet. I received my BS degree in Department of Computer Science from Peking University, P.R.China.

Research Interests

COHO

Publications

Courses

Contact

Last modified: March, 2010