曼纽尔·布卢姆（Manuel Blum），1938年4月26日出生于委内瑞拉加拉加斯。毕业于麻省理工学院，获数学博士学位。委内瑞拉-美国数学家和计算机科学家，美国国家工程院院士，1995年图灵奖得主。卡耐基·梅隆大学布鲁斯·纳尔逊计算机科学教授。2023年世界顶尖科学家论坛演讲嘉宾。
1966年，曼纽尔·布卢姆担任麻省理工学院数学助理教授。其后于1968年任职于加利福尼亚大学伯克利分校电子工程与计算机科学系。1995年，曼纽尔·布卢姆因“其对计算复杂性理论的基础及其在密码学和实际应用的贡献”而获图灵奖。2001年，曼纽尔·布卢姆加入美国国籍，次年当选为美国国家科学院院士。曼纽尔·布卢姆的研究方向为计算复杂性、自动机理论、算法、归纳推理：密码学、程序结果检查、人机交互证明。2024年7月，曼纽尔·布卢姆参加2024世界人工智能大会。
截至2023年，曼纽尔·布卢姆发表学术论文73篇、专利12篇、科研项目9篇。他曾获1991年西格玛·希的莫尼·a·弗斯奖、2007年赫伯特A.西蒙教学奖等奖项。
人物经历
教育经历
曼纽尔·布卢姆，1938年4月26日出生于委内瑞拉加拉加斯。1959年获得麻省理工学院电机工程学学士，1961年获得麻省理工学院电气工程硕士学位，1964年获得麻省理工学院数学博士学位。
工作经历
1960年，曼纽尔·布卢姆担任麻省理工学院电子研究实验室沃伦·麦卡洛克博士的研究助理和实验室研究助理，并于1966年担任麻省理工学院数学助理教授。
1968年，曼纽尔·布卢姆就职于加利福尼亚大学伯克利分校电子工程与计算机科学系，历任客座助理教授、副教授、教授。
1977年，曼纽尔·布卢姆担任加州大学伯克利分校计算机科学系副主任。
1995年，曼纽尔·布卢姆担任加州大学伯克利分校阿瑟·奇克计算机科学教授。同年，他因“其对计算复杂性理论的基础及其在密码学和实际应用的贡献”而获图灵奖。
2001年，曼纽尔·布卢姆加入美国国籍，次年当选为美国国家科学院院士，
并于2006年当选为美国国家工程院院士。
2017年12月27日至2018年1月3日，曼纽尔·布卢姆访问哈尔滨工业大学。
2020年初，在北京大学“外籍访问学者前沿性本科英文课程”项目的支持下，曼纽尔·布卢姆通过网络平台首次开设“有意识的图灵机：认知与计算科学”短期课程。同年6月15日，北京大学为曼纽尔·布卢姆颁发北京大学访问讲席教授聘书。
2024年7月4日，曼纽尔·布卢姆与图灵奖得主罗杰·瑞迪、姚期智，在2024世界人工智能大会暨人工智能全球治理高级别会议上与原微软执行副总裁、美国国家工程院外籍院士沈向洋一同围绕人工智能治理协同创新的话题进行了讨论。
社会任职
科学研究
研究方向
曼纽尔·布卢姆的研究方向为计算复杂性、自动机理论、算法、归纳推理：密码学、程序结果检查、人机交互证明。
学术成果
布卢姆加速定理（Blum’s Speedup Theorem）是关于可计算函数复杂性的一个重要命题；布卢姆公理提供了一种与机器无关的方法来理解计算的复杂性，计算过程可以由人或者计算机完成；探索了安全商业交易、伪随机数生成、程序检查，以及用于检测机器人入侵者的验证码等。
截至2023年10月，据AMiner平台数据显示，曼纽尔·布卢姆已发表学术论文73篇、专利12篇、科研项目9篇。
主要论文
专利
科研项目
人才培养
理念
曼纽尔·布卢姆要求学生对每件事都有所了解，并且要把读书当成随机存取的工具，不必从头到尾都读。他认为，如果只读而不写，就会沦为有限状态机。
课程
个人生活
曼纽尔·布卢姆在加利福尼亚大学伯克利分校任教期间，娶了数学家贝兰妮·布卢姆（Lenore Blum），并为她写了一首俳句诗：“尊重她的请求就好像/你的生活依赖于它/它确实如此。”其后，他们有了一个儿子Avrim，任职于卡耐基·梅隆大学计算机科学教授。
荣誉奖项
参考资料：
人物评价
曼纽尔·布卢姆对计算复杂性理论的基础及其在密码学和程序检查中的应用作出了贡献。（1995年图灵奖评）
曼纽尔·布卢姆对抽象复杂性理论、归纳推理、密码协议以及程序检查器的理论和应用作出了贡献。（美国国家工程院评）
曼纽尔·布卢姆教授是密码系统和程序检验先驱，计算复杂性理论的主要奠基人之一。（北京大学前沿计算研究中心评）
参考资料
30位世界顶尖科学家15位诺奖得主，倾情解读震撼发声.澎湃新闻.2023-10-28
Manuel Blum.卡内基梅隆大学.2023-10-29
曼纽尔·布鲁姆的简历.北京大学前沿计算研究中心.2023-10-29
Manuel Blum.ACM.2023-10-29
Awards.卡内基梅隆大学.2023-10-29
图灵奖得主曼纽尔·布卢姆教授等两位学者北京大学聘任仪式暨学术讲座举行.北京大学前沿计算研究中心.2023-10-29
演讲嘉宾.世界顶尖科学家论坛.2023-10-29
曼纽尔·布卢姆.北京大学前沿计算研究中心.2023-10-29
沈向洋对话图灵奖得主:这个时代的AI治理挑战与机遇并存.腾讯网.2024-07-04
曼纽尔·布卢姆.AMiner.2023-10-29
Dr. Manuel Blum.National Academy of Engineering.2023-10-29
图灵奖获得者曼纽尔•布鲁姆教授夫妇访问我校.哈尔滨工业大学.2023-10-29
2021年Blum教授主讲“有意识的图灵机”课程小结.北京大学前沿计算研究中心.2023-10-29
Teaching.卡内基梅隆大学.2023-10-29