2017年12月27日至2018年1月3日，应我校计算机学院邀请，在国际合作部国际项目管理中心的大力支持下，1995年度美国计算机协会（ACM）图灵奖获得者、卡内基梅隆大学计算机学院曼纽尔•布鲁姆教授（Manuel Blum）及其夫人、卡内基梅隆大学计算机学院杰出教授勒诺尔•布鲁姆教授（Lenore Epstein Blum）访问我校，开展了丰富的学术交流活动。
        12月28日，布鲁姆夫妇在计算机学院教师的陪同下参观了哈尔滨城市规划馆和哈工大博物馆。他们对哈尔滨和哈工大的悠久历史和所取得的成就赞不绝口，并十分关心哈尔滨与哈工大吸引人才、防止人才流失的政策。

参观城市规划馆

参观哈工大博物馆

12月29日下午，任南琪副校长在行政楼101室会见了布鲁姆教授一行，向客人介绍了哈工大的历史、现阶段学科建设与科学研究、教学与人才培养、国际合作等方面的情况。任南琪副校长介绍了在最新出炉的教育部第四轮学科评估中计算机科学与技术学科和软件工程学科分别取得A和A-的成绩，在国内计算机领域居于领先地位，并盛情邀请两位教授成为哈工大计算机学科的长期或短期教授，助力我校和计算机学科建设世界双一流。

任南琪副校长会见

12月30日上午，布鲁姆一行来到计算机学院，听取了计算机科学与技术、软件工程、网络空间安全三个一级学科的发展报告。他们就计算机学院的学科建设、课程安排、教师招聘等方面提出了自己的看法与宝贵建议，并分享了卡内基梅隆大学计算机学院在博士生培养方面的经验。勒诺尔•布鲁姆谈到，卡内基梅隆大学每学期都会召开两天的学术大会，所有的计算机专业的教师围坐在一起对每一位博士生的研究进展进行评审并给出意见，鼓励导师和学生之间要多交流沟通。

国际学科评估大会现场

12月31日和1月1日，曼纽尔•布鲁姆教授和勒诺尔•布鲁姆教授分别与计算机学院师生和英才学院的学生进行座谈，解答了学生在学习和科研方面的一些困惑。

与英才学院学生座谈

1月2日，在活动中心208的工会小家，勒诺尔•布鲁姆教授与计算机学院的女教工代表和女学生代表进行了座谈。她指出：女性在科学界具有重要的地位，女性视角对于工科发展非常重要，并鼓励女学生、女教师精进研究，多为女性发声。她还对于女性如何平衡工作与家庭给出了非常宝贵的经验与建议。

勒诺尔•布鲁姆教授与女学生女教师座谈

访问期间，曼纽尔•布鲁姆教授和勒诺尔•布鲁姆教授为全校师生带来了三场精彩的学术报告。12月30日下午，在二区B11报告厅，曼纽尔•布鲁姆教授带来了题为“Can a Machine be conscious? Towards a Computational Model of Consciousness”的报告，用浅显生动的语言向我校大一新生展示了神经科学家伯纳德•巴尔斯的大脑全局工作空间模型，并提出一个形式化的图灵机模型计算模型来理解意识，这个模型可能会确定世界中自由意志的可能性，也可能具有涉及建立有意识的机器的可能性。报告期间，会场气氛非常热烈。报告之后，学生围在布鲁姆教授身旁纷纷提问和索要签名，很久不愿散去。

1月2日下午，曼纽尔•布鲁姆教授做了题为“Password Generation: an Example of Human Computation”的学术报告。布鲁姆教授找了2名志愿者，请他们一起做了密码的实验，激起了与会师生的浓厚兴趣。

在上述各项学术交流活动中，我校师生十分珍惜与大师面对面交流机会，踊跃提问、积极发言。曼纽尔•布鲁姆教授和勒诺尔•布鲁姆教授的耐心、详实解答使得大家收益匪浅。大师在计算机科学领域的宽广视野、深入洞察及独到见解，极大的鼓舞与激励学生与教师，并将对他们的理论研究和教育实践工作产生深远影响。

访问期间，布鲁姆一家还与计算机学院/英才学院的优秀学子共进晚餐。

曼纽尔•布鲁姆教授和勒诺尔•布鲁姆教授的此次来访，是计算机学院近年来加强国际交流与合作工作、开展“国际一流学术大师访问计划”的一部分。学院广泛邀请图灵奖获得者、计算机领域的美国科学院/工程院院士、ACM会士、IEEE会士前来访问，通过学术报告、与师生座谈、听取学科发展报告、建立联合实验室等形式，提升学院师生的国际化视野，追踪国际顶尖计算机科学家的研究前沿。除了“国际一流学术大师访问计划”，计算机学院还开展了“国际一流学者讲学/授课计划”、“国际顶尖学术管理者和期刊主编访问计划”、“国际青年学者引智计划”等一系列国际合作与交流工作，有利的推动了我院建设世界一流计算机学科的步伐。

图灵奖是由美国计算机协会（ACM）于1966年设立，专门奖励那些对计算机事业做出重要贡献的个人。它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。

曼纽尔•布鲁姆教授1938年生于委内瑞拉首都加拉加斯，是计算的复杂性理论的奠基人之一。他提出了关于计算复杂性的四个公理（Blum公理系统），其他理论结果大部分都可以从这个公理系统中推导出来。他对复杂性类进行了归纳，定义了复杂性抽象测度Blum Measure。他还在密码学和程序正确性验证方面做出了重要贡献。1995年，曼纽尔•布鲁姆教授以奠定了计算复杂性理论的基础和在密码及程序校验方面的贡献而获得图灵奖。曼纽尔•布鲁姆教授分别于1959年、1961年、1964年在麻省理工学院（MIT）获得学士、硕士和博士学位，其博士导师是人工智能之父马文•明斯基教授。

曼纽尔•布鲁姆Blum是一位学风严谨、诲人不倦、循循善诱的科学家和教育家，培养了很多学生，其中包括3位图灵奖得主：Leonard Adleman（2002年图灵奖得主，公钥密码算法RSA的提出者之一）、Silvio Micali和Shafi Goldwasser（2012年图灵奖得主，奠定了现代密码学数学基础），都是在安全和密码学领域做出了杰出贡献。

勒诺尔•布鲁姆教授出生于1942年，现任卡内基梅隆大学计算机学院杰出教授，曾获1977年美国生理学会（生命科学、数学及工程）总统奖，担任美国科学促进会主席、美国数学学会国际会议程序委员会主席。她的主要研究兴趣包括实数的计算和复杂度理论，模型理论，逻辑和代数。