PhD :: Chengyan Zhao
Interests:

Contact Information:

PHD Thesis:
[ 2003 -- Current ] N/a
Advisors:

MSC Thesis:
[ 1996 -- 1998 ] An Automatic C Inliner (advisor: Owen Kaser, University of New Brunswick)

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004