应“车-路信息感知与智能交通系统” 高等学校学科创新引智（111计划）基地负责人赵祥模教授邀请，日本法政大学计算机科学系刘少英教授于2018年3月13日来我基地进行学术交流。交流主要从两个方面展开：学科与科研平台建设、专题技术报告。

首先，刘教授以“软件工程学科与科研平台建设”为题，结合自身长期从事软件形式化方法研究工作、研究生培养、团队建设、研究环境建设，畅谈了软件工程学科建设和科研平台建设的经验和教训。我基地软件工程学科全体教师参加了学术交流，并积极讨论在我基地开展软件工程学科建设的思路和建设方案，刘教授还结合参观我基地道路交通智能检测技术与装备工程技术研究中心的感受，为我基地软件工程学科建设给出了建设性意见和建议。研讨气氛热烈，与会者发言踊跃。

紧接着，刘教授做了题为“Agile Formal Engineering Methods for Advanced Software Engineering”专题技术报告。技术报告详实分析了大型软件开发工作面临的“开发超预算、提交常拖延（Over Budget & Behind Schedule）”难题，从形式化工程的角度提出了完整的解决方案，并分享了部分实现方案。刘教授专题技术报告主题系统深入、分析深刻透彻。开拓了我基地软件工程学科教师和研究生的学术视野，深化了学科前沿的学术理解。我基地软件工程学科全体教师和研究生聆听了专题技术报告。

双方还共同探讨了未来可能的研究合作等事项。

                                 参观实验室

                                刘教授正在做报告