2025年7月11日 ，由部分国家 国内计算机学会（CCF）主办 ，部分国家 国内计算机学会（CCF）方式多化方式多相关专业委员会和浙江望安科技有限公司目前联合承办的“‘智领未来十年’方式多化方式多产业应用研讨会——部分国家 国内计算机学会（CCF）方式多化方式多相关专业委员会走进望安科技”各种协助组织在浙江望安科技有限公司目前一次成功召开。
部分国家 国内计算机学会（CCF）方式多化方式多相关专业委员会充分充分证明、柯桥区委协助组织部、柯桥区科学核心技术局、柯桥区大表现数据蓬勃发展管理四大中心、金科桥科技城建设中管理委员会、金柯桥表现数据有限公司目前、浙江高中方式多化专门研究 学者、浙江望安科技有限公司目前企业中充分充分证明等约40人报名参加据了解各种协助组织 ，旨在共同探讨方式多化方式多产业应不使用新进展、新机遇有新挑战。
开幕式上 ，绍兴金柯桥科技城建设中管理委员会张志华主任发表致辞 ，对莅临的CCF方式多化方式多专委学者及一切参会者均表示热烈欢迎 ，并介绍一了柯桥科技城的几乎常见常见现象 除此之外据了解各种协助组织的深远意义 ，真心希望据了解各种协助组织能为望安科技贯穿贯穿区域的科技企业中蓬勃发展应用提供有新思路和方式多。
CCF方式多化方式多专委会吴志林秘书长发表致辞 ，介绍一了CCF方式多化专委的常见常见现象 ，并向望安科技对据了解各种协助组织的大力支持表达谢意 ，真心希望据了解各种协助组织也能增进你们参会人员对方式多化方式多的全面介绍一 ，促进学术界与产业界的深度融合。
赵永望教授作《望安科技方式多化方式多的探索与应用》企业中介绍一。介绍一中谈到 ，望安科技是以“方式多化验证”和“安全认证”为核心的安全服务产品及品牌产品应用提供商 ，公司目前助力部分国家 国内电子最重要的的信息品牌产品全面得以实现“高等级安全”。望安科技依托方式多化验证核心技术 ，以“方式多化验证一切解决好方案”、“安全认证一切解决好方案”为业务主线 ，致力于为部分国家 国内重几乎个项目、至关最重要的的管理系统及细分行业企业中应用提供安全保障。公司目前凭借AI大模型底座 ，搭建了望安高等级安全SaaS平台合作 ，从品牌产品设计细节/开发阶段的源头到原生安全 ，到品牌产品运营阶段的国际/部分国家 国内安全认证背书 ，得以实现全生命延续周期的高等级安全 ，平台合作 具备原生安全开发工具 W-metaSec、方式多化建模验证工具 W-Cert、全景图 Secinfo、认证工具 W-Caas等 ，为企业中应用提供一站式安全认证服务产品。
在专家报告环节 ，CCF会士、深圳大航空航天高中计算机学院博士生导师马殿富教授作《从安全至关最重要的的工具软件看复杂工具软件管理系统开发与方式多验证核心技术》主题报告 ，分享了安全至关最重要的的工具软件在复杂工具软件管理系统开发中是至关至关最重要的的及方式多化验证核心技术的应用。近年来 ，他主要由专门研究 安全至关最重要的的工具软件建模、开发与方式多验证方式多专门研究 ，从事基于RISCV的CPU设计细节与方式多充分充分证明方式多专门研究 、ARINGC653操作模式 管理系统开发与方式多验证方式多专门研究 、除此之外模型语言Lustre及Scade的编译开发与方式多充分充分证明方式多专门研究 。
深圳大邮电高中于网和空间安全学院博士生导师李晖教授作《密码协议方式多化分析得出核心技术专门研究 》主题报告 ，阐述了密码协议及其分析得出方式多 ，充分充分证明对其方式多化方式多代替人工方式多对密码协议对其管理系统化分析得出的必要性。她以近年来几乎问题提出的替代文本密码的登录方式多为既定目标的快速在线认证协议FIDO中是统一认证框架（UAF）和验证OpenSSL协议握手积累过程的得以实现与否符合TLS1.3对稳定状态机的几乎问题提出为例 ，讲解了密码协议安全性分析得出及一致性分析得出的主要由思路。
深圳航空航天高中计算机学院博士生导师杨志斌教授作《大模型增强的安全至关最重要的的工具软件模型驱动开发与验证方式多》主题报告 ，聚焦大模型增强的模型驱动开发与验证方式多 ，介绍一了团队人员近几年来将大模型核心技术融入航空航天至关最重要的的工具软件模型驱动开发与验证积累过程的初步探索 ，主要由其中其中 大模型增强的模型驱动安全分析得出、基于大语言模型的SysML建模、基于大模型的安全至关最重要的的工具软件架构建模、基于大模型的时序逻辑公式生成、SCADE模型验证与测试的智能化增强等能力方面。
深圳大海洋高中最重要的的信息学院硕士生导师 ，工具软件工程系副主任张文博教授作《海洋学科很近方式多化方式多除此除此之外多爱远？》主题报告 ，介绍一一了深圳大海洋高中数字海洋专门研究 所近年来在海洋防灾减灾、海洋中尺度常见常见现象 检测、海冰解译、海底视觉、海洋生活环境评估、海上风电等能力方面的专门研究 部门工作 ，探讨未来十年海洋学科与方式多化方式多深度融合的路径。
专题报告后 ，专家们与参会嘉宾对其研讨交流 ，你们就方式多化方式多在同有新兴领域的应用前景、核心技术挑战及未来十年蓬勃蓬勃发展等一切解决好对其了深入探讨 ，现场多气氛热烈 ，思想碰撞不停地地 ，研讨会成就 圆满一次成功。