Andrew Chi-Chih Yao, Tsinghua University