中国科学院软件研究所智能软件研究中心工程师阎明铸当选 Sail RISC-V Model 项目协作者（Collaborator）。Sail RISC-V Model是RISC-V国际基金会（RVI）唯一的RISC-V认证标准模型，Collaborator则是该项目PR的审核者。作为此项目唯一一位来自中国的Collaborator，阎明铸的入选，源于其团队长期以来对RISC-V形式化验证研究的深耕与高质量社区贡献，这不仅是对其个人技术能力与专业素养的认可，更体现了中国科学院软件研究所在RISC-V形式化验证领域的国际影响力。
2 个赞