北大聘任希尔维奥 · 米卡利访问讲席教授

    期次:第1522期   


  本报讯 6月12日,麻省理工学院福特讲席教授、2012年图灵奖获得者希尔维奥·米卡利(SilvioMicali)北京大学聘任仪式暨学术讲座在静园五院204会议室举行。北大校长郝平为米卡利教授颁发北大访问讲席教授聘书。
  米卡利教授表示,科学无国界,我们应该加强合作、共同发展。他将在学校的支持下,努力在青年教师指导、学生培养等方面提供帮助,与北大保持紧密良好的合作关系。
  前沿计算研究中心执行主任陈宝权教授宣布北大“图灵人才培养计划”正式立项。该计划以图灵奖获得者约翰·霍普克罗夫特(JohnHopcroft)教授创建的面向本科生培养的“图灵班”为基础,增加研究生培养环节,将汇聚全球顶级导师
资源,面向前沿交叉领域,着眼科技与社会发展的长远影响,培养计算机科学及相关交叉学科具有国际视野和一流水平的青年学者,全面提升北京大学信息和人工智能学科的教育与人才培养水平,为国家新时代科技和教育发展输送引领未来的卓越人才。米卡利教授成为继霍普克罗夫特教授之后的首位“图灵人才培养计划”导师。
  米卡利教授随后作了题为“证明、私密与计算”的学术报告,揭示了计算理论如何革新人们长久以来针对证明的解决思路,介绍了交互式证明、零知识证明和相关的验证计算,并展示了新的数字世界诸如云计算可信、超安全识别等意想不到的应用。
  (信息科学技术学院)