2024年12月13日下午，北京物资学院信息学院的IBT实验室形式化验证小组李洁老师带领刘媚、杨晓玉、宋浩、吴朋蔚等多名研究生、本科生访问北京航空航天大学，与Jean-Pierre Talpin教授（以下简称JP教授）和北航同学们进行了一场富有成效的学术交流。JP教授是法国国家信息与自动化研究所（INRIA）的高级研究员，领导TEA科研项目。目前主要研究方向有系统设计的并发性、信息物理系统（CSP）的组合方法和程序验证等，与北航、北物资、南航、中科院等高校和研究院所建立了长期合作关系。

交流中，北京物资学院的老师、学生们详细介绍了近期在形式化验证领域的研究成果和项目进展，内容主要涉及智能合约形式化验证、区块链协议验证、语言转换工具和提示工程等多个方面，展现了学生们在理论与实践相结合的科研能力。

JP教授对IBT实验室形式化组的研究工作给予了高度评价，并就其中的关键技术问题和研究方法提出了宝贵的、详细的指导意见。他特别强调了形式化验证在确保复杂系统可靠性中的重要性，并鼓励学生们继续深入研究，以期在未来的科研道路上取得更大的突破。

此次交流不仅为北京物资学院研究形式化验证的学生们提供了一个合作交流、展示自我的机会，而且宝贵建议对未来的方向研究具有重要意义，激发了大家浓厚的科研兴趣。北京物资学院IBT实验室形式化验证小组表示，未来将认真吸收JP教授的建议，进一步推动成果产出，我们相约明年再见！