科研学术

5月16日，以“数智创新 软件定义”为主题的2026年特色化示范性软件学院院长联席会在清华大学召开。该会议由教育部高等教育司指导，示范性软件学院联盟主办，旨在搭建成果展示、学术交流与共享合作的平台，共同研讨中国特色化软件人才培养的新范式。

经前期严格的申报与评审程序，大会正式公布全国示范性软件学院联盟2026年十大关键软件技术创新成果。我校软件学院选送的关键软件成果《面向嵌入式软件测试的网络安全专用编程语言及开发环境——YAK》成功入选。

YAK是国内首款网络安全领域的开源专用编程语言及开发环境，由Yaklang、Yakit和YakVM组成。Yaklang语言语法灵活可扩展，内置强大数据库，支持以简洁语法编写脚本检测嵌入式软件漏洞。Yakit搭载YakVM，支持多语言高效运行并加密防逆向，提升测试效率与准确性。该方案覆盖嵌入式软件开发与维护全生命周期，有效推动行业安全防护水平的提升。相关成果已应用于海康威视、昆明钢铁、国家电网等多家单位，为业务的高质量、高效率执行提供了有力支撑。该成果在全球最大开源社区GitHub平台开源发布后，国内80%的一线网络安全开发者下载使用。

此次奖项申报过程中，软件学院高度重视，严格筛选申报项目，并组织力量对申报书、成果展示视频及演示视频等申报材料进行反复推敲与精心打磨，确保各项材料内容详实、专业精准且实现高质量呈现。此次获奖是对软件学院科研实力与创新水平的权威认可，展现了软件学院在关键软件技术领域的深厚积淀、攻坚能力与创新思维。希望全校师生以此为榜样，继续秉持创新精神，勇于探索突破，为学校发展和我国软件事业进步贡献更多力量。

关键软件技术创新成果发布后，软件学院院长张小松应邀参加“大模型智能时代的关键软件人才培养”院长圆桌论坛。