为深入贯彻落实创新驱动发展战略，加快推动科研创新平台建设，2025年3月26日由金牛区科技局举办成都市“科创天府·智汇蓉城”创新资源供需对接会在成都市先进技术成果西部转化中心举行。数学学院系统可信性自动验证国家地方联合工程实验室积极组织团队及凝练相关应用成果参加了此次专题活动。形式化自动验证研发团队徐鹏老师携高苛求安全控制系统软件验证工具做了现场成果展示和技术咨询；智能监测关键技术研究与应用示范团队杜菁老师携基于人工智能的运动行为监测技及个体化运动干预大数据平台和电子屏网络安全防护系统等应用成果等做了技术讲座和应用场景演示。两个团队人员还听取了多场创新成果孵化落地及创新成果市场应用案例报告，与多家企业进行了面对面交流，参观了先进技术成果西部转化中心，深入了解了国家科技政策及惠企举措。
