王戟，永不折戟！

来源：央视新闻微信公众号

不满14岁上大学

33岁当教授

30年如一日专注“冷门硬核”赛道

军事科学技术进步奖一等奖

“全国自强模范”……

他是履历“耀眼”的军人

但因病高位截肢

他就是

国防科技大学计算机学院研究员王戟

日前，中央宣传部授予王戟“时代楷模”称号

小时候

王戟常跟着父亲走进厂房

看着设备旁工程师们

一遍遍推演数据、破解难题

那时，一个孩子还不懂什么叫报国

但“为国家做事”的样子

早早留在了他的记忆里

王戟从小喜欢数学应用题

母亲和他约定

题目全做对了，才能出去玩

“水池一边进水、一边放水

多久才能蓄满？”

别人觉得绕

他却享受把条件一层层拆开

直到找到答案的过程

1983年

我国第一台巨型计算机“银河-I”研制成功

中国成为世界上第三个

能独立设计制造亿次巨型机的国家

那一年，不满14岁的王戟

考入原国防科学技术大学

跟随第一代“银河人”

开启计算机软件研究的征途

1995年博士毕业后

王戟选择留校工作

上世纪末，某场局部战争中

某外军装备由于软件系统计时失效

造成大量人员伤亡

1996年，国外的某型火箭

首飞升空约40秒后因软件缺陷失控爆炸

世纪之交

随着我军加快由机械化向信息化转型

一个迫切的问题随之而来

怎样让装进大国重器的每一行代码

在关键时刻都靠得住？

那时

国内这一领域几乎还是空白

面向国家和军队安全需求

王戟一头扎进

高可信软件这一“冷门硬核”赛道

一干就是30多年

王戟与导师在国内率先提出

“高可信软件技术”概念

带领团队闯出了一条自主可控的新路

让高可信软件技术

从实验室走进多项重大装备

为保障航空航天、重大武器装备等领域

关键软件安全可靠作出重要贡献

王戟还在国内首开相关课程

把这一国际前沿理论引入研究生课堂

2012年10月

一通来自航天工业部门的紧急电话

打到王戟的办公室

系统联试中

出现了毫无规律、随机出现的数值问题

它像藏在数万行代码里的“幽灵”

没人知道何时出现

更无法预判会带来怎样的后果

王戟和团队接下任务

现有软件工具效率不足

他提出改用一种团队

并不熟悉的函数式语言

两个月后

团队从零啃下这门陌生的编程语言

33岁当教授

38岁获国家杰出青年科学基金

斩获国家科学技术进步奖二等奖

以及多项省部级奖项……

然而，全速向前的王戟怎么也想不到

命运突然给了他一记重锤

2013年

王戟正在核心关键研究领域奋勇攻关

突发主动脉夹层

历经13小时的抢救

他保住了性命，却永远失去了双腿

近半年重症监护、10余次手术

一页页写满

“昏迷”“大出血”“坏死”字样的报告单

王戟的人生被按下了“暂停键”

突如其来的重大变故没有压倒王戟

术后没多久

他就在病房里翻资料、做课题

“只要我的脑子好使，手还能用

就不会停下来！”

2015年，坐在轮椅上的王戟

重返教学科研一线

他牵头申请了“某国防973项目”

并担任技术首席专家

带领团队攻克众多难关

2021年，王戟再次病倒在课堂上

因肾脏衰竭

王戟每周需进行多次血液透析

从此，他开启了“病房-实验室-教室”

三点一线的工作模式

即便如此

王戟也未放慢科研的步伐

2025年，经过“十年磨剑”

“某国防973项目”相关成果

获军事科学技术进步奖一等奖

为诸多国家战略工程

和军队新质战斗力生成

提供了坚实支撑

同年，王戟被授予“全国自强模范”称号

他曾说

“我珍惜我的第二次生命

我也希望在我第二次生命里头

做出我应有的一些贡献”

这些年来

王戟主持、参与国家和军队

重大重点项目或课题20余项

先后获军队院校育才奖金奖

国家杰出青年科学基金……

失去双腿的王戟虽无法在讲台上站立

但依然在科研高地上耸立

带领团队取得多项

达到国际先进水平的创新成果

从1995年留校任教至今

王戟累计培养

硕士、博士120余人

多人已成为

国内高可信软件技术领域的骨干力量

王戟说：

“我们‘高可信软件技术’

保障对象是大国重器、国家的基础设施

我希望能够在自主创新的道路上

取得更加显著的成绩

更好地满足强军兴国建设的需求”

前方，还有新的难题等待攻克

身后，已有一批年轻人接续出发

这条路，王戟还在走

这份“可信”

也将随着一代代科研工作者

奔向更远的深蓝，托举更高的苍穹

轮椅冲锋，为国铸盾

致敬！

内容来自央视一套、央视军事等