◎ 科技日报记者 张强

　　日前，中央宣传部向全社会宣传发布王戟同志的先进事迹，授予他“时代楷模”称号。

　　今天，不少人都收到了这样一条短信↓↓

　　王戟，国防科技大学计算机学院研究员、博士生导师。2025年，他获评“全国自强模范”。这个用代码为大国重器“看病”、用数学逻辑为武器装备“体检”的军队科研工作者，曾两次在生死边缘按下人生“重启键”，却仍在强军科研一线书写忠诚与担当。

　　孔祥库 摄

　　“只有做前沿的研究，才更容易发现前沿”

　　1983年12月22日，国防科技大学校园广播里传出了一个沉稳而激动人心的声音：由计算机研究所研制的“银河-Ⅰ”亿次巨型计算机，正式通过国家鉴定，研制成功！中国成为第三个能独立设计和制造巨型机的国家！

　　“原来，计算机可以有如此巨大的能量。原来，我选择的这条路，连接着国家的脉搏。”从那天起，刚刚步入大学校园的王戟变了。或者说，他最初“想学计算机”模糊信念变得更加具象化了。

　　1999年，初出茅庐的王戟受邀参与航天相关软件的可靠性评估任务。这是一块“硬骨头”。

　　当年和王戟一同参与项目的毛晓光教授介绍，任何系统都会存在漏洞。这些安全漏洞如果出现在一般软件上，或许重启一下系统就能解决。但如果出现在这些大国重器上，问题可就大了。当时，已经有人意识到这个问题很重要，但怎样进行系统研究，基本上还是空白。

　　“只有做前沿的研究，才更容易发现前沿。”这项任务很快完成，王戟也对自己的研究方向有了更深思考。

　　当时，国内专门研究软件可靠性的人很少，甚至连清晰的中文概念都没有。王戟在与老师的交流中，提出了高可信软件技术的概念。

　　所谓高可信软件技术，就是用数学的方法，从计算机语言编译的底层原理上去验证软件代码的正确性。这条路很难，但也正是他所喜欢的。他说，高可信软件就像一个医生，像“做CT”一样给那些大国重器的软件系统进行全身扫描、精准诊断，找出深层次隐藏的漏洞和隐患。

　　事实印证了他的远见。如今，软件安全已成为大国博弈的重要领域。他与陈火旺院士等人2003年联合发表《高可信软件工程技术》——这篇篇幅不长的论文，清晰勾勒出该领域发展框架与未来方向，成为我国高可信软件领域最早的系统性研究文献。

　　“大家都在往前走，也都扶着你往前走”

　　2013年1月23日凌晨，王戟突发主动脉夹层被紧急送医。这是一种极其凶险的心血管急症。13个小时手术后，他从死亡线上被抢回，可双腿肌肉却因缺血时间过长不断坏死，手术只能不停地往上剪，最后是左边大腿高位截肢，右边髋关节离断。

　　此时的王戟正在科研路上全力奔跑——不满14岁考入大学、33岁被评为教授、38岁获国家杰出青年科学基金……一路高歌猛进。在人生最美好的时节，永远失去了双腿，痛苦可想而知。

　　他把那场变故比作计算机“宕机”，“宕机之后，按一下重启键，也许还会重新启动”。支撑他按下“重启键”的，是亲人的鼓励，是组织的关怀，更是深植心中的“银河精神”。

　　他说：“生病后，之所以能够走出来，包括在病房里思考工作，也是因为有团队在身边。团队在那里，自己才能往前走。真的就像一个战壕里打仗一样，大家都在往前走，也都扶着你往前走。”

　　即便生病后，王戟还是团队里的主心骨，他们照常开会、照常攻关、照常争论。他们的研发成果，最终形成了对大规模关键软件核心代码进行精细“CT扫描”的能力。

　　“只要脑子还好使，手还能动，我就不会停下来”

　　2015年春节过后，天河楼前刚刚修好的无障碍通道上，王戟带着熟悉的笑容回来了。不仅如此，他还主动提出申请某重点国防项目。这是当年面向国家和军队急需的唯一一个纯软件工程项目。

　　领导和同事担心他的身体，他却说：“这是我的一个心愿，没有生病前就努力过。哪怕不让我当负责人，我也要加入课题组。”

　　项目推进过程中，很多环节需要他亲自出席。那几年，他经常出差，有时候一个月三四次，乘最早班的飞机。会议一开一整天，年轻人坐不住，他在轮椅上面不改色。

　　2021年，王戟牵头的这个项目顺利通过验收，综合评价报告这样写道：整体技术水平处于国际前列、国内领先，部分可比指标处于国际领先。

　　项目渐入佳境，病魔却再度袭来。因肾脏衰竭，王戟不得不每周接受三次透析治疗。即便如此，他有时还见缝插针地参加线上会议。

　　身体被迫“宕机”，王戟选择再次按下“重启键”。2025年初，这个项目孵化的成果获军事科学技术进步奖一等奖，并在诸多关键装备上取得重要应用。奖项证书上，王戟的名字列在首位。但在他看来，这份荣誉更属于身后那支接力奔跑的队伍。“作为首席，我的责任不仅仅是完成项目，更是要为事业传承多培养人才。”王戟说。

　　如今，国内涉足高可信软件技术领域的人越来越多，研究成果也越来越多，王戟所推动创建的形式化方法专业委员会成为中国计算机学会的重要组成……曾经少有人走的“冷门硬核”赛道，正聚集起更多面向国家和军队重大需求的创新力量。

　　“只要脑子还好使，手还能动，我就不会停下来。”王戟说，“我希望能坐在轮椅上，在我的第二次生命里头，作出应有的一些贡献，来回报大家对我无尽的关怀。”

　　版面阅读

　　↓↓↓

　　封面图由受访单位提供