Chao Yan's Homepage

Introduction

I'm now a Ph.D. candidate of Integrated Systems Design Laboratory, Computer Science Department at University of British Columbia. Supervised by Mark Greenstreet.

I received my MS degree (thesis) in Department of Computer Science from University of British Columbia, Canada and BS degree in Department of Computer Science from Peking University, P.R.China. I have worked in SCERI² of SUN Mircrosystems and Beijing Uni-Genesoft Information Technology Co.,Ltd.

Research

Circuit Design and Verification, Algorithm Design and Optimization, Numerical Computation. I am also instrested in Computer Architecture, Machine Learning and Wireless Network.

I am developing formal methods to verify digital circuits using continous model. My approach is based on reachability analysis where the reachable space is represented by projectagons. I have used this tool to verify a 3D van der pol and a toggle circuit. For details, see my papers of macis (talk), fmcad (talk) and aspdac (talk). Here are two demos(1a 1b and 2).

Long term, I plan to make our methods robust enough that they can be applied to a wide range of circuit design problems, and other area, such as hybrid system.

Courses

Term I (2007-2008)

• CPSC544 Human Computer Interaction

Term II (2006-2007)

• EECE583 Computer-Aided Design Algorithms for Integrated Circuits

• CPSC418(TA) Computer Architecture

Term I (2006-2007)

• CPSC520 Numerical Methods for Time-Dependent PDEs

• EECE588 Analog Integrated Circuit Design

• CPSC416(TA) Distributed Systems

• EECE479(Audit) Introduction to VLSI Systems

Term I (2005-2006)

• CPSC542B Nolinear Optimization

Term II (2004-2005)

• CPSC506 Complexity of Computation

• CPSC513 Integrated System Design

      Project: ADD Based Planning for PRISM

• CPSC540 Machine Learning

      Project: Fast Krylov Method for Clustering

• CPSC302(TA) Numerical Computation for Algebraic Problems

Term I (2004-2005)

• CPSC500 Fundamentals of Algorithm Design and Analysis

• CPSC505 Image Understanding 1: Image Analysis

• CPSC538A Topics in Computer Systems: Async Design

      Project: Asynchronous Bus for SOC

• CPSC425(TA) Computer Vision

Contact

• Email³:

  chaoyan(AT)cs.ubc.ca
  

• Phone:

  604-629-8386 (Home)
  604-822-4487 (ISD Lab)
  

• Mail:

  Computer Science Deparment
  2366 Main Mall
  Vancouver, B.C., Canada 
  V6T 1Z4
  

• Blog:

  Personal Blog (Chinese): http://www.dreamable.net/
  

• Classmates:

  PKU CS (99): http://www.cs.ubc.ca/~chaoyan/classmates.html