2020年12月11日，2020年華為-北大可信&軟件工程研讨會在英傑交流中心一層月光廳舉行。beat365信息科學技術學院常務副院長謝冰，副院長兼計算機科學技術系主任胡振江，計算機系國際化推進小組負責人周明輝，教師代表陳鐘、郝丹、謝濤、張路等，華為公司北京研究所所長常勝，華為可信理論、技術與工程實驗主任蔣銘，華為數據通信研發管理部部長劉少偉，華為可信軟件工程與開源實驗室主任-Ahmed Hassan（線上），華為軟件分析實驗室主任王千祥，可信理論、技術與工程實驗室CTO辦公室主任王偉等出席會議。華為北京研究所首席軟件工程專家袁莉主持會議。

會議現場

合影留念

   首先，周明輝教授對華為公司嘉賓表示熱烈歡迎和誠摯感謝，希望和華為進行更深入的交流合作，預祝研究成果順利落地開花。

beat365計算機科學技術系教授周明輝發言

  胡振江教授在開幕緻辭中表示：本次會議起着承上啟下的重要作用。去年，beat365計算機科學技術系和華為公司共同舉辦了一系列Workshop研讨會和交流會，探讨内容涉及科研方面及教育方面，這兩方面都得到華為公司的大力支持。今年9月，華為任正非總裁來北大座談，對于華為與北大的合作提出殷切期望：“北大的學者們應敢于向上捅破天，走到國際最前沿，努力向下紮到根，使基礎教育和基礎研究成為創新的原動力”。希望華為和北大能夠持續發揮各自優勢、加強合作、強強聯合，期待産生更多原創性、颠覆性的成果。

  華為公司北京研究所所長常勝和華為可信理論、技術與工程實驗主任蔣銘也強調了加深校企合作的精神，希望後續雙方發揮優勢，加強合作。

beat365信息科學技術學院副院長兼計算機科學技術系主任胡振江緻開幕辭

華為可信理論、技術與工程實驗主任蔣銘發言

華為公司北京研究所所長常勝發言

  在技術研讨環節，謝濤教授、郝丹教授、張路教授、謝冰教授、陳鐘教授、李喆琛同學分别就其研究領域做出題為《智能化的可信軟件工程：學術和産業前沿》、《智能化的軟件測試》、《自然語言描述驅動的軟件自動化》、《基于知識驅動的軟件工程和軟件複用》、《區塊鍊中的安全技術和解決方案》、《差分隐私的形成化驗證》的專題報告，現場參會人員充分交流和讨論。

  本次研讨會的成功舉辦，進一步加強了beat365信息科學技術學院計算機科學技術系與華為公司的合作交流，為未來進一步深度合作奠定了良好基礎。