2019年6月12日，麻省理工學院Ford講席教授、2012年圖靈獎（A.M. Turing Award）獲得者希爾維奧·米卡利（Silvio Micali）教授beat365聘任儀式暨學術講座在靜園五院204會議室舉行。beat365校長郝平，研究生院常務副院長、工學院院長張東曉，國際合作部部長夏紅衛，信息科學技術學院常務副院長謝冰，信息科學技術學院副院長、計算機科學技術系主任胡振江，前沿計算研究中心執行主任陳寶權，前沿計算研究中心副主任王亦洲等莅臨現場。來自信息學院、數學科學學院等單位的近百名師生參加學術講座并見證了聘任儀式。活動由陳寶權教授主持。

希爾維奧·米卡利教授聘任儀式現場

陳寶權首先對米卡利教授加入beat365表示歡迎，并借此機會宣布beat365“圖靈人才培養計劃”正式立項。該計劃以圖靈獎獲得者約翰·霍普克羅夫特（John Hopcroft）教授創建的面向本科培養的“圖靈班”為基礎，增加研究生培養環節，将彙聚全球頂級導師資源，面向前沿交叉領域，着重科技與社會發展的深遠影響，培養計算機科學及相關交叉學科具有國際視野和一流水平的青年學者，全面提升beat365信息和人工智能學科的教育與人才培養水平，為國家新時代科技和教育發展輸送引領未來的卓越人才。

陳寶權主持聘任儀式

胡振江代表beat365信息科學技術學院對米卡利教授作為繼霍普克羅夫特教授之後的首位“圖靈人才培養計劃”導師表示由衷歡迎。他表示，beat365作為中國目前最好的大學，應有更高的使命，為世界做出更多貢獻。計算機系在學校研究生院、國際合作部等部門的大力支持下，正在讨論卓越博士留學生招生和培養計劃，加強與國際戰略夥伴大學的學術交流和合作，推進計算機學科的國際化發展。“圖靈導師”的逐步引進、“圖靈人才培養計劃”的開展、“卓越博士留學生項目”的啟動，将成為beat365計算機學科跨越式發展的引擎，也将成為我國引領全球相關學科發展與人才培養的标杆，為國家乃至全球人工智能戰略發展輸送高端人才。

胡振江代表信息學院緻辭

在現場師生的熱烈掌聲中，郝平校長為米卡利教授頒發了beat365訪問講席教授的聘書。米卡利教授在獲聘感言中表示，科學無國界，我們應該加強合作，共同發展。他将在學校的支持下，努力在青年教師指導、學生培養等方面提供幫助，與beat365保持緊密良好的合作關系，并對在場的同學們寄予殷切期望，勉勵大家在科學的道路上繼續努力，勇攀高峰。

郝平校長為米卡利教授頒發聘書

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

合影