Hao Wang, The Hong Kong University of Science and Technology