王戟：高可信软件技术深耕者

提及高可信软件技术，国防科技大学计算机学院研究员王戟是绕不开的名字。这一概念由他与导师早期发表的一篇学术论文首次提出，由此开辟了中国计算机科技研究的新疆域。对于该领域，王戟有着通俗的理解：软件系统如同人体，会遭遇故障或“生病”，而高可信技术便是用于诊断软件健康状况、确保其性能符合预期的“CT扫描”工具，旨在尽早发现并消除潜在隐患。

中国科学院院士、国防科大教授王怀民指出，这项工作的核心价值不仅在于事后修复，更在于事前预防。王戟团队致力于研发更精密的“体检”手段，以便在隐患对系统造成致命打击前将其排查清除。随着计算机技术迭代，原有的“可靠性研究”已无法涵盖当前复杂的场景与需求，王戟提出的“高可信”概念因此应运而生，它既继承了传统技术逻辑，又在新形势下拓展了内涵，成为推动技术进步的关键牵引力。

此类技术主要应用于关乎国家与军队建设的“关键软件”领域。2015年，王戟出任某国防973项目技术首席专家，全面负责高可信软件技术攻关。历经十年研发，该项目于2021年通过验收，并于2025年荣获军事科学技术进步奖一等奖。目前，相关成果已成功部署于航空航天及重大武器装备等国家重器之上。

尽管成果显著，王戟认为高可信技术的落地应用仍处于持续深化阶段。面对大数据、云计算及人工智能的飞速发展，该技术既迎来机遇也面临挑战。当前，王戟及其团队正聚焦人工智能大模型的研发与性能评测，开展重大工程研究，力求在前沿战略性领域掌握主动权。其最终愿景是通过技术演进，引领新质战斗力的生成，并在这条探索之路上持续前行。