曼纽尔·布卢姆 曼纽尔布卢姆 英語Manuel Blum年月日委内瑞拉计算机科学家在年因在計算複雜性理論的杰出贡献以及在密码学和编程校验上的应用而获得图灵奖