2024年11月15日晚7点，学院于光大礼堂隆重举办“引航U声”科技前沿专家报告会，英国皇家工程院院士James Woodcock教授带来了以“Two Big Ideas in Computer Science”为主题的精彩报告。学院党委副书记王晖、副院长廖剑伟、团委书记杨靖欣、2024级辅导员马潇潇以及本硕博300余名学生参加报告会，共享学术盛宴。副院长廖剑伟教授主持报告会。

廖剑伟教授首先致欢迎辞，他表示，James Woodcock教授是软件工程形式化方法领域的国际领军学者，此次报告会是一次与顶尖学者面对面交流的绝佳机会，鼓励同学们把握这次宝贵的学习机会，学习科学家精神，勤于思考，勇敢探索，在求知的道路上勇毅前行。

图1：副院长廖剑伟教授主持报告会

James Woodcock教授以深厚的学术造诣和丰富的实践经验，深入浅出地阐述了人工智能（AI）与验证技术（Verification）这两个当前计算机科学领域中炙手可热的话题。首先，Woodcock教授从什么是AI开始谈起，阐述了AI在软件工程中的重要意义。他从AI在医疗诊断、自动驾驶、智能制造、农业发展等领域的广泛应用谈及了AI的挑战，提出了对AI伦理、隐私保护及安全性等方面的深刻思考。其次，Woodcock教授从AI中的机器学习、神经网络泛化能力等问题延展到AI的可信性（trustworthy），引申出第二个话题：AI可信性的验证（Verification）。他讲解了验证的重要性，列举了世界超大型公司运用验证的案例。最后，James Woodcock教授讲述了形式化的方法，展望了AI和形式化方法的未来，表示是这两个核心理念概括了计算机科学塑造世界的深刻方式，驱动着世界变革与确定之间的平衡。

图2：James Woodcock教授讲授Two Big Ideas in Computer Science

报告会的交流环节，同学们反响热烈，纷纷就人工智能领域技术的开发与应用向James Woodcock教授积极提问，James Woodcock教授耐心倾听，分别给予答疑释惑。

图3：学院学生提问，Woodcock教授答疑释惑

此次“引航U声”科技前沿专家报告会为学院学生提供了一次宝贵的学术盛宴，通过与国际顶尖学者的直接对话，同学们不仅拓宽了学术视野，更激发了学习科研的热情和追求卓越的决心。

图4：活动合影

供稿：车常弋 秦钰雯

供图：秦子渐

初审：马潇潇

复审：杨靖欣

终审：王一晖