出访英国: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:离开利物浦,并经伦敦离开英国,返回中国重庆。
往返航线:中国重庆-中国北京-英国伦敦-英国莱斯特-英国约克-英国莱斯特-英国利物浦-英国伦敦-中国北京-中国重庆 |