清华大学计算机科学与技术系长聘教授、博士生导师