在国防科技大学的实验室里，王戟的目光专注而锐利。他已高位截肢十余年，需经历700多次透析，但指尖在键盘上的敲击却如有神助，速度之快，甚至能让人小跑相仿。
湘江之畔，岳麓山下，这位特殊的研究员正以他的方式，书写着科研的传奇。王戟，国防科技大学计算机学院研究员，以他的一生诠释了新时代科研军人的忠诚与担当，让报国的信念在岁月中熠熠生辉。他的故事，是由忠诚、初心与使命谱写的壮丽诗篇。本文作者为《瞭望》新闻周刊记者黄明、张皓凝和张瑞杰。
从不满14岁考入国防科大，那个勤学少年，到如今国内高可信软件领域的主要开拓者；从突发重疾高位截肢，跌入人生的谷底，到轮椅上攻克“卡脖子”技术的勇士；从确诊肾衰竭，到冲锋在国防科研一线的“轮椅战士”……三十余载的科研生涯，王戟将忠诚融入代码，将使命镌刻生命，以战士般的冲锋姿态，展现了一名军队科研工作者的初心与坚守。
图为国防科技大学计算机学院研究员王戟（左二）在图书馆与学生讨论的场景，拍摄于2026年5月20日，照片由新华社范军威提供。
代码铸就盾牌，初心始终不易
“勤学少年”是对王戟最早的标签。
母亲刘桂枝清晰地记得，幼时的王戟虽顽皮，但一进入课堂，眼中便闪烁着专注的光芒。凭借过人的数学天赋，王戟一路“跳级”，最终在1983年以优异成绩考入国防科大计算机系。
那一年，12月，我国首台亿次巨型机“银河-Ⅰ”在国防科大成功研制，标志着中国成为世界上第三个能够独立设计和制造巨型机的国家。少年王戟见证了这一历史时刻，中国计算机事业自立自强的号角就此吹响。他与“银河”的命运，就此紧密相连——后来，他的硕士与博士研究生导师，正是“银河-Ⅰ”的软件系统总负责人陈火旺院士。
在一次学术讲座上，陈火旺院士激情澎湃地介绍了国家对信息技术的渴求，鼓励年轻人敢于挑战“硬骨头”，勇攀高技术高峰。台下的王戟深受触动，内心深处对计算机的热爱逐渐升华为对“国防”的坚定誓言：“我要用计算机助力国防。”
上世纪末，随着我军从机械化向信息化的快速迈进，王戟敏锐地察觉到，计算机软件安全直接关系到军事乃至国防安全。同时，一起国外突发事件引起了他的高度关注：某型运载火箭因代码错误，在升空几十秒后便爆炸解体，数十年的心血毁于一旦。
身着戎装的王戟意识到，“软件可靠性”将是国防安全的命门。带着对国家战略的前瞻性思考，王戟孕育出全新的研究方向——高可信软件技术。这一技术旨在通过数学方法，从底层逻辑层面验证代码的正确性。
“高可信软件堪称‘软件的医生’。”王戟的团队成员、国防科大教授董威解释道。通过对大国重器的软件系统进行“全身CT扫描”般精准的诊断，可以找出深藏的漏洞与隐患。
1999年，初露锋芒的王戟受邀参与航天相关软件的可靠性评估。他和团队反复推演、多维测试，从数十个模型中筛选出五六种，逐一调试参数、迭代优化……在压力最大的阶段，他连续两天两夜不眠不休，双眼布满红血丝。
历经无数次的试错与磨砺，“最适配”模型最终脱颖而出。
2003年，王戟与陈火旺院士等人联名发表《高可信软件工程技术》论文。这是我国在该领域最早的系统性研究成果，至今仍被学术界广泛引用。
中国科学院院士、国防科大教授王怀民评价：“王戟和他的团队，所做的工作，在当前我们认知的范围里，是对软件正确性与可靠性最高级的检查手段。”
三十余载深耕高可信软件领域，王戟硕果累累——33岁便被评定为教授，荣获军事科学技术进步奖一等奖、国家科学技术进步奖二等奖及多项省部级荣誉……
荣誉背后，是对坐别人不愿坐的“冷板凳”、啃别人不愿啃的“硬骨头”的执着坚守。
高可信软件是基础性且关键的研究，门槛高、难度大、周期长。在这条几乎无路的探索之路上，许多人中途放弃，但王戟却一走就是数十年。他说：“这……
网友评论