Hao Wang's page

Hao Wang		"Years wrinkle the skin, but lack of enthusiasm wrinkles the soul." - Norman Vincent Peale

       I obtained my Ph.D and B.Eng degree in Computer Science from South China University of Technology in July 2006 and July 2000.

       I am now working as a Postdoctoral Fellow in Center for Logic and Information, St Francis Xavier University, Canada (advised by Dr. W. MacCaull).

       My current research interests focus on business process modeling and parallel formal verification methods. I am a member of ACM and IEEE. (for more details, see my research page or find me on DBLP ). Past collaborators include Dr. Qi He and Dr. Jun Zhang.

This page can also be accessed through http://member.acm.org/~iswanghao. My CV can be downloaded here.

Room 111, Centre for Logic and Information
54B St Marys Street,
Antigonish, NS, Canada B2G 2A5
Contacts:
Phone: +1 902-867-5268
Fax: +1 902-867-1397

E-mail:

This site was last updated 08/19/10 by Hao