三位清华校友当选国际计算机学会2018年度杰出科学家