图灵奖得主约翰·郝普克若夫教授应邀做客计算机系60周年系庆系列学术报告