2020年12月11日，2020年华为-北大可信&软件工程研讨会在英杰交流中心一层月光厅举行。重点实验室谢冰、胡振江、周明辉、陈钟、谢涛、张路教授、郝丹副教授等，华为公司北京研究所所长常胜，华为可信理论、技术与工程实验主任蒋铭，华为数据通信研发管理部部长刘少伟，华为可信软件工程与开源实验室主任-Ahmed Hassan（线上），华为软件分析实验室主任王千祥，可信理论、技术与工程实验室CTO办公室主任王伟等出席会议。华为北京研究所首席软件工程专家袁莉主持会议。
首先，周明辉教授对华为公司嘉宾表示热烈欢迎和诚挚感谢，希望和华为进行更深入的交流合作，预祝研究成果顺利落地开花。
胡振江教授在开幕致辞中表示：本次会议起着承上启下的重要作用。去年，北京大学计算机科学技术系和华为公司共同举办了一系列Workshop研讨会和交流会，探讨内容涉及科研方面及教育方面，这两方面都得到华为公司的大力支持。今年9月，华为任正非总裁来北大座谈，对于华为与北大的合作提出殷切期望：“北大的学者们应敢于向上捅破天，走到国际最前沿，努力向下扎到根，使基础教育和基础研究成为创新的原动力”。希望华为和北大能够持续发挥各自优势、加强合作、强强联合，期待产生更多原创性、颠覆性的成果。
华为公司北京研究所所长常胜和华为可信理论、技术与工程实验主任蒋铭也强调了加深校企合作的精神，希望后续双方发挥优势，加强合作。
在技术研讨环节，谢涛教授、郝丹教授、张路教授、谢冰教授、陈钟教授、李喆琛同学分别就其研究领域做出题为《智能化的可信软件工程：学术和产业前沿》、《智能化的软件测试》、《自然语言描述驱动的软件自动化》、《基于知识驱动的软件工程和软件复用》、《区块链中的安全技术和解决方案》、《差分隐私的形成化验证》的专题报告，现场参会人员充分交流和讨论。
本次研讨会的成功举办，进一步加强了北京大学信息科学技术学院计算机科学技术系与华为公司的合作交流，为未来进一步深度合作奠定了良好基础。
