在下面的人物中，___________曾获得过计算机领域最高的奖项图灵奖。