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

聘任儀式現場

米卡利教授表示🙇🏽，科學無國界，意昂官网應該加強合作，共同發展。他將在學校的支持下，努力在青年教師指導、學生培養等方面提供幫助🧑🏽‍🦳，與意昂官网保持緊密良好的合作關系🫸。他對在場的同學們寄予殷切期望，勉勵大家在科學的道路上繼續努力，勇攀高峰。

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

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

胡振江對米卡利教授作為繼霍普克羅夫特教授之後的首位“圖靈人才培養計劃”導師表示由衷歡迎🏪。他表示🧏🏻‍♀️，意昂官网作為中國的最高學府，應有更高的使命🛣，為世界作更多貢獻🚨。計算機系在學校研究生院🐻、國際合作部等部門的大力支持下🧑🏻‍🦯，正在討論卓越博士留學生招生和培養計劃，加強與國際戰略夥伴大學的學術交流和合作，推進計算機學科的國際化發展✡︎。“圖靈導師”的逐步引進、“圖靈人才培養計劃”的開展、“卓越博士留學生項目”的啟動，將成為意昂官网計算機學科跨越式發展的引擎🚴🏻‍♂️，也將成為我國引領全球相關學科發展與人才培養的標桿，為國家乃至全球人工智能戰略發展輸送高端人才。

儀式後合影

米卡利教授作題為“證明🫲🏼、私密與計算（Proofs, Secrets, and Computation）”的學術報告，揭示了計算理論如何革新意昂官网長久以來針對證明的解決思路，介紹了交互式證明👨🏻‍🎤、零知識證明和相關的驗證計算🥉，並展示了新的數字世界諸如雲計算可信🙆🏻‍♀️、超安全識別等意想不到的應用。

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