目前我国唯一获得图灵奖的计算机科学家是()。