图灵奖得主文顿·瑟夫出席清华计算机系60周年系庆活动并作学术报告