出访国家:英国、意大利 停留时间:2025年6月2日–7月12日,停留41天 日程安排: 2025.6.2~6.3:自重庆出发飞往英国伦敦,并抵达伦敦大学伯贝克学院;熟悉工作与生活环境。 2025.6.4~6.8:访问伯贝克学院计算与数学科学学院,与科研团队围绕“可信自主系统的建模与验证技术及其应用”主题开展系列学术交流与合作探讨; 2025.6.9~6.11:参与学术研讨、研究小组会议,与博士生交流研究方法与进展; 2025.6.12~6.15:初步规划联合申报项目与合作论文的方向。 2025.6.16~6.18:抵达利物浦大学,访问可信自主智能物理系统实验室,了解实验室研究现状与合作切入点。 2025.6.19~6.20:举办两场研究生研讨会,主题聚焦“形式化方法及其在可信系统中的应用”,与学生进行深入交流与答疑。 2025.6.21~6.22:独立探索休息日与自由交流。 2025.6.23~6.25:利物浦大学科研团队进行系列合作探讨与研究推进会议,围绕可信自主系统的理论支撑与模型验证等方向,共同设计后续合作项目框架; 2025.6.26~6.28:探讨研究生联合培养、高层次人才引进等合作机制。 2025.6.29:自利物浦出发前往意大利罗马,参加国际会议。 2025.6.30~7.1:参加会议开幕及听取主题报告,聚焦神经网络前沿技术。 2025.7.2~7.3:参加专题研讨会,涵盖机器学习优化与应用。 2025.7.4~7.5:听取应用技术分会场报告,涉及深度学习形式验证。并参与国际合作与产学研交流。 2025.7.6:参加闭幕式及颁奖典礼,总结会议成果并展望未来。参与自由交流,会议结束准备返程。 2025.7.7:返回英国伦敦,访问伯贝克学院,对接前期合作成果; 2025.7.8~7.11:深入探讨科研合作细节,进一步推进合作关系; 2025.7.12:离开英国伦敦,经中国深圳中转,抵达中国重庆 往返航线:中国重庆–中国北京–英国伦敦–英国利物浦–意大利罗马–英国伦敦–中国深圳–中国重庆 |