9月6日,beat365—華為可信軟件聯合研讨會在英傑交流中心舉行。beat365信息科學技術學院計算機科學技術系主任胡振江,計算機系國際化推進小組負責人周明輝,計算機系教師代表謝濤、熊英飛、李戈、李素建,華為公司可信理論、技術與工程實驗室主任蔣銘,可信實驗室CTO辦公室主任王偉,可信實驗室人力資源部部長趙志強等人出席會議。

此次研讨會旨在積極探索校企聯合培養高層次、創新型人才的新模式,通過支持優秀博士生的專題聯合培養,開展前沿基礎理論研究和交叉領域的應用研究,助推研究人員和優秀博士産出高水平的學術成果。

胡振江教授介紹海外博士培養情況
會上,胡振江教授與周明輝教授介紹了beat365計算機系的海外博士培養情況,并着重介紹了“卓越博士生計劃”,該計劃将吸引國際一流的留學生、海外博士後、外國研究者進行合作研究,已列入beat365海外招生計劃并獲得大力支持。華為公司代表對“卓越博士生計劃”表現出濃厚興趣。

周明輝教授介紹“卓越博士生計劃”
胡振江教授、謝濤教授等校方代表還就其研究領域做出題為《面向泛在計算的程序設計語言和高可信軟件開發技術》、《Software Analytics and Testing for Trustworthiness》、《基于開源大數據的軟件生産方法研究》、《Inferring Program Transformations From Singular Examples via Big Code》、《深度學習程序表示模型的研究與應用》的專題報告,現場參會人員展開熱烈交流和讨論。

華為公司可信理論、技術與工程實驗室主任蔣銘
通過此次會議,北大-華為雙方就博士聯合培養合作方案進行了充分讨論,并形成主要共識,為下一步合作協議簽署做準備。