2019年6月12日，麻省理工學院Ford講席教授、2012年圖靈獎（A.M. Turing Award）獲得者希爾維奧·米卡利（Silvio Micali）教授北京大學聘任儀式暨學術講座在靜園五院204會議室舉行。北京大學校長郝平為米卡利教授頒發(fā)北京大學訪問講席教授聘書。來自信息學院、數(shù)學科學學院等單位的近百名師生參加講座并見證聘任儀式。活動由前沿計算研究中心執(zhí)行主任陳寶權教授主持。

聘任儀式現(xiàn)場

米卡利教授表示，科學無國界，我們應該加強合作，共同發(fā)展。他將在學校的支持下，努力在青年教師指導、學生培養(yǎng)等方面提供幫助，與北京大學保持緊密良好的合作關系。他對在場的同學們寄予殷切期望，勉勵大家在科學的道路上繼續(xù)努力，勇攀高峰。

郝平為米卡利教授頒發(fā)聘書

陳寶權對米卡利教授加入北京大學表示歡迎，并宣布北京大學“圖靈人才培養(yǎng)計劃”正式立項。該計劃以圖靈獎獲得者約翰·霍普克羅夫特（JohnHopcroft）教授創(chuàng)建的面向本科培養(yǎng)的“圖靈班”為基礎，增加研究生培養(yǎng)環(huán)節(jié)，將匯聚全球頂級導師資源，面向前沿交叉領域，著眼科技與社會發(fā)展的長遠影響，培養(yǎng)計算機科學及相關交叉學科具有國際視野和一流水平的青年學者，全面提升北京大學信息和人工智能學科的教育與人才培養(yǎng)水平，為國家新時代科技和教育發(fā)展輸送引領未來的卓越人才。

胡振江對米卡利教授作為繼霍普克羅夫特教授之后的首位“圖靈人才培養(yǎng)計劃”導師表示由衷歡迎。他表示，北京大學作為中國的最高學府，應有更高的使命，為世界作更多貢獻。計算機系在學校研究生院、國際合作部等部門的大力支持下，正在討論卓越博士留學生招生和培養(yǎng)計劃，加強與國際戰(zhàn)略伙伴大學的學術交流和合作，推進計算機學科的國際化發(fā)展。“圖靈導師”的逐步引進、“圖靈人才培養(yǎng)計劃”的開展、“卓越博士留學生項目”的啟動，將成為北京大學計算機學科跨越式發(fā)展的引擎，也將成為我國引領全球相關學科發(fā)展與人才培養(yǎng)的標桿，為國家乃至全球人工智能戰(zhàn)略發(fā)展輸送高端人才。

儀式后合影

米卡利教授作題為“證明、私密與計算（Proofs, Secrets, and Computation）”的學術報告，揭示了計算理論如何革新我們長久以來針對證明的解決思路，介紹了交互式證明、零知識證明和相關的驗證計算，并展示了新的數(shù)字世界諸如云計算可信、超安全識別等意想不到的應用。

研究生院常務副院長、工學院院長張東曉，國際合作部部長夏紅衛(wèi)，信息科學技術學院常務副院長謝冰，信息學院副院長、計算機科學技術系主任胡振江，前沿計算研究中心副主任王亦洲等參加活動。