2025年10月10日至12日，2025 IEEE AI for Science Congress（国际人工智能与科学大会）在中国辽宁省沈阳市成功举办。实验室2023级研究生杨朔同学受邀参加此次会议，并就其论文成果作现场学术汇报，展示了实验室在区块链可信计算领域的最新研究进展。

作为国际电气与电子工程师协会（IEEE）旗下人工智能与科学计算领域的重要学术盛会，本次大会由IEEE、IEEE计算机学会（IEEE Computer Society）、IEEE可扩展计算技术委员会（IEEE TCSC）及IEEE超智能技术委员会（IEEE Technical Committee on Hyper-Intelligence）联合主办，并由郑州大学、沈阳航空航天大学、河海大学及湖北智能互联网重点实验室等共同承办。大会聚焦人工智能驱动的科学研究新范式，吸引了来自全球70余所高校、科研院所及知名企业的300余名专家学者和师生代表参会。

会议期间，多位国际知名专家学者带来了高水平主题报告。加拿大麦克马斯特大学M.Jamal Deen院士分享了人工智能与智能传感器在医疗健康中的创新应用；瑞典皇家理工学院Anders Lindquist院士探讨了数学科学在工业创新中的核心作用；东北大学王兴伟教授围绕可信知识定义网络的构建进行了系统阐述；英国埃克塞特大学Geyong Min教授则对可扩展边缘智能架构的优化策略进行了前沿解析。

杨朔撰写的论文"DAVC: a Verifiable Credentials Model for Dynamic Attribute Management"被ISPA 2025（第23届IEEE并行与分布式处理国际研讨会）录用，并在“Distributed Systems and Storage（分布式系统与存储）”专题会上报告。该文章提出了一种面向动态属性管理的可验证凭证模型DAVC，有效解决了分布式系统中身份属性动态更新过程中的安全性与验证一致性问题，为区块链与隐私计算场景提供了可扩展的信任支撑方案。

在会议交流环节中，杨朔同学与来自各地的专家学者就动态凭证验证、隐私保护机制及可信区块链架构设计等前沿问题进行了深入探讨。

此次参会不仅展示了实验室在区块链安全与分布式系统方向的扎实研究成果，也体现了实验室重视研究生科研能力与国际视野培养的育人理念。未来，实验室将继续鼓励青年学者积极参与国际高水平学术交流，持续深耕科研前沿，力争在智能计算与可信系统领域取得更多具有国际影响力的科研成果。