出访时间

2024年8月24日-9月28日

团组人数

1人

出访任务

1. 赴莱斯特大学Prof. Hongji Yang团队访问调研并探索合作机遇。同时参与即将在莱斯特大学举办的IEEE QRS 2025（软件质量、可靠性与安全）国际学术会议的筹备；

2. 赴利物浦大学Prof. Xiaowei Huang团队访问调研并探索项目合作及人才引进等事宜；

3. 与英国约克大学James Woodcock院士领导的“机器之星”团队协同推进西南大学牵头的国家自然科学基金重点项目的合作研究。

出访国家（地区）停留时间

日程安排

往返航线

出访英国：2024年8月24日-9月28日 停留36天

日程如下：

2024-8-24～25： 自重庆出发飞往英国伦敦，并抵达莱斯特大学；次日下午莱斯特大学Prof. Hongji Yang组织校园参观及欢迎晚宴。

2024-8-26～27：客座演讲“软件工程中的形式化方法：挑战与机遇”及研讨会“可信软件：理论与实践的进展”。

2024-8-28～29：与Prof. Hongji Yang团队青年教师及博士生交流，聚焦形式验证技术。

2024-8-30～31：与莱斯特大学计算机科学系教师会面，探讨潜在的合作研究项目。

2024-9-1～3：与Prof. Hongji Yang讨论IEEE QRS 2025筹备事宜（Prof. Hongji Yang为大会主席）对齐会议主题及兴趣范围，同时确定专家邀请名单。

2024-9-4～5：赴约克大学与英国皇家工程院院士、英国约克大学教授、西南大学兼职教授James Woodcock交流西南大学牵头双方共同承担的国家自然科学基金重点项目进展。

2024-9-6～7：返回莱斯特大学，并Prof. Hongji Yang团队对齐研究兴趣并计划共同发表论文。

2024-9-8～9：圆桌会议，讨论将形式化方法融入本科课程体系。

2024-9-10～11：产业界互动；访问当地科技公司，推动产学研合作。

2024-9-12～13：小组讨论“工业视角下的软件可靠性未来”。

2024-9-14：独立探索休息日及欢送晚宴。

2024-9-15：离开莱斯特大学，并前往利物浦大学。

2024-9-16～18：与利物浦大学计算机科学系教职人员及可信CPS实验室研究人员进行非正式会面，探讨可能的研究合作机会。

2024-9-19～23：参加关于“CPS创新及其对社会的影响”的研讨会，并讨论形式化方法及其应用。刘志明教授报告其承担并正在执行的HCPS国家自科重点项目的相关进展、成果及下一步研究思路，探索与利物浦大学CPS实验室项目和论文的对接点。

2024-9-24～27：开展协作会议，探索可信软件理论与形式化方法领域的联合研究项目机遇；举行开放式圆桌讨论会，围绕研究生教育的未来发展进行探讨。

2024-9-28：离开利物浦，并经伦敦离开英国，返回中国重庆。

往返航线：中国重庆-中国北京-英国伦敦-英国莱斯特-英国约克-英国莱斯特-英国利物浦-英国伦敦-中国北京-中国重庆

邀请单位及简介

邀请单位：英国莱斯特大学

单位简介：莱斯特大学（University of Leicester）创立于1921年，是一所享有国际声誉的公立研究型大学。该校以高质量的教学和前沿研究著称，在计算机科学等多个学科领域表现卓越。莱斯特大学拥有现代化的校园设施和浓厚的学术氛围，致力于培养具有创新精神和社会责任感的毕业生。作为一所全球化的高等教育机构，它吸引了来自世界各地的学生和学者，形成了多元化的学术社群。大学持续推动知识边界的发展，为解决全球性挑战贡献力量。

邀请单位：英国利物浦大学

单位简介：利物浦大学（University of Liverpool）成立于1881年，是英国著名的红砖大学之一，也是罗素集团（Russell Group）的创始成员。学校以其卓越的教育质量和研究实力闻名，尤其在工程、管理学、计算机科学等领域拥有世界级的研究中心。利物浦大学历史悠久，拥有诺贝尔奖得主校友，致力于创新教育和国际合作，吸引了全球各地的优秀学生和学者。校园融合了传统与现代，为学生提供了丰富的学术资源和文化体验。作为一所研究密集型大学，利物浦大学在推动科学发展和促进社会进步方面发挥着重要作用。

经费来源和预算

西南大学

团组成员名单

姓名

性别

单位

职务

刘志明

男

西南大学计算机与信息科学学院

校级实验室负责人