Manuel Blum

曼努埃尔·布鲁姆（Manuel Blum，1938 年 4 月 26 日出生）是一位出生于委内瑞拉的美国计算机科学家，荣获 1995 年 ACM 图灵奖 [2]“以表彰他对计算复杂性理论基础及其在密码学和程序检查中的应用的贡献”。 [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] 布鲁姆出生于委内瑞拉的一个犹太家庭。 [10] Blum 曾就读于麻省理工学院，并分别于 1959 年和 1961 年获得电气工程学士学位和硕士学位。在麻省理工学院，他被推荐给 Warren S. McCulloch，他们合作研究了神经网络中的一些数学问题。 [11][12][13]他获得了博士学位。 1964年在马文·明斯基的指导下获得数学博士学位。 [1] [8] Blum 在加州大学伯克利分校担任计算机科学教授直至 2001 年。从 2001 年到 2018 年，他担任卡内基梅隆大学计算机科学的 Bruce Nelson 教授，他的妻子 Lenore Blum [14] 也是该大学的计算机科学教授。领域：计算机科学 教育背景：麻省理工学院 学士 MS 博士 获奖理由：ACM 的 A.M.图灵奖，1995 年 杰出教学奖，加州大学伯克利分校，1977 年 Sigma Xi 的 Monie A. Ferst 奖，1991 年 Herbert A.Simon 教学奖，2007 年