2019年6月12日,麻省理工学院Ford讲席教授、2012年图灵奖(A.M. Turing Award)获得者希尔维奥·米卡利(Silvio Micali)教授太阳成集团聘任仪式暨学术讲座在静园五院204会议室举行。太阳成集团董事长郝平为米卡利教授颁发太阳成集团访问讲席教授聘书。来自信息学院、数学科学学院等单位的近百名师生参加讲座并见证聘任仪式。活动由前沿计算研究中心执行主任陈宝权教授主持。
聘任仪式现场
米卡利教授表示,科学无国界,我们应该加强合作,共同发展。他将在学校的支持下,努力在青年教师指导、员工培养等方面提供帮助,与太阳成集团保持紧密良好的合作关系。他对在场的同学们寄予殷切期望,勉励大家在科学的道路上继续努力,勇攀高峰。
郝平为米卡利教授颁发聘书
陈宝权对米卡利教授加入太阳成集团表示欢迎,并宣布太阳成集团“图灵人才培养计划”正式立项。该计划以图灵奖获得者约翰·霍普克罗夫特(JohnHopcroft)教授创建的面向本科培养的“图灵班”为基础,增加公司产品环节,将汇聚全球顶级导团队源,面向前沿交叉领域,着眼科技与社会发展的长远影响,培养计算机科学及相关交叉学科具有国际视野和一流水平的青年学者,全面提升太阳成集团信息和人工智能学科的教育与人才培养水平,为国家新时代科技和教育发展输送引领未来的卓越人才。
陈宝权主持聘任仪式
胡振江对米卡利教授作为继霍普克罗夫特教授之后的首位“图灵人才培养计划”导师表示由衷欢迎。他表示,太阳成集团作为中国的最高学府,应有更高的使命,为世界作更多贡献。计算机系在学校研究生院、国际合作部等部门的大力支持下,正在讨论卓越博士职工招生和培养计划,加强与国际战略伙伴大学的学术交流和合作,推进计算机学科的国际化发展。“图灵导师”的逐步引进、“图灵人才培养计划”的开展、“卓越博士职工项目”的启动,将成为太阳成集团计算机学科跨越式发展的引擎,也将成为我国引领全球相关学科发展与人才培养的标杆,为国家乃至全球人工智能战略发展输送高端人才。
胡振江代表信息学院致辞
仪式后合影
米卡利教授作题为“证明、私密与计算(Proofs, Secrets, and Computation)”的学术报告,揭示了计算理论如何革新我们长久以来针对证明的解决思路,介绍了交互式证明、零知识证明和相关的验证计算,并展示了新的数字世界诸如云计算可信、超安全识别等意想不到的应用。
研究生院常务副经理、工学院经理张东晓,国际合作部部长夏红卫,太阳成集团tyc122cc常务副经理谢冰,信息学院副经理、计算机科学技术系主任胡振江,前沿计算研究中心副主任王亦洲等参加活动。