中宣部授予王戟同志“时代楷模”称号

他是国防科技大学

计算机学院研究员、博士生导师

是我国高可信软件技术领域的主要开拓者

不满14岁考上大学，33岁当上教授

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

高位截肢十余年，历经700多次透析

依然在强国强军的征程上『冲锋』

他说——

只要脑子还能动，手还能用

我就不会停

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

王戟，男，汉族，1969年11月生，上海市人，中共党员，国防科技大学计算机学院研究员、博士生导师。他长期奋战在军事教学科研一线，始终秉持立德树人、为战育人初心，忠实履行以战领研、科研为战使命，带领团队构建高可信软件理论框架与技术体系，为保障多项重大装备关键软件安全可靠作出重要贡献。党的十八大以来，王戟同志自觉用习近平新时代中国特色社会主义思想武装头脑，深入学习贯彻习近平强军思想，坚定不移向着国防科技自主创新高地冲锋，在遭受重大疾病打击、高位截肢的情况下，仍以坚韧意志和乐观精神坚守战位、忘我奋斗，持续开展研究攻关，取得了多项达到国际先进水平的创新成果，培养了一批高可信软件技术骨干人才。他积极发扬党和人民军队的优良传统，家风淳朴、生活简朴，其家庭被评为全国文明家庭。

中央宣传部在授予“时代楷模”称号的决定中指出，王戟同志是新时代军队教育和科技工作者的优秀代表，他的先进事迹充分彰显了人民军队坚定维护核心、坚决听党指挥的政治本色和光荣传统，生动诠释了军队教育和科技工作者矢志立德树人、为战育人，勇攀高峰、为国铸盾的高尚品格，集中展现了新时代共产党员始终保持蓬勃朝气、昂扬锐气，为党和人民的事业生命不息、奋斗不止的拼搏精神。为宣传褒扬他的先进事迹，授予王戟同志“时代楷模”称号。希望广大党员、干部和部队官兵以“时代楷模”为榜样，更加自觉地坚持以习近平新时代中国特色社会主义思想为指导，深入学习贯彻习近平党建思想、习近平强军思想，深刻领悟“两个确立”的决定性意义，增强“四个意识”、坚定“四个自信”、做到“两个维护”，贯彻军委主席负责制，传承弘扬伟大建党精神、伟大长征精神，坚定理想信念，厚植家国情怀，砥砺意志品质，树立和践行正确政绩观，为如期实现建军一百年奋斗目标、加快把人民军队建成世界一流军队，为以中国式现代化全面推进强国建设、民族复兴伟业而团结奋斗。 据央视

王戟是谁？

不满14岁考上大学，33岁当教授

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

因病高位截肢，依然坐着轮椅“冲锋”

湘江之畔，国防科技大学。

王戟快速摇动轮椅，灵活地在校园穿行，进入他工作的“天河”楼。

数十年来，他深耕高可信软件领域，硕果累累——

33岁被评定为教授，38岁获国家杰出青年科学基金，荣获军事科学技术进步奖一等奖、国家科学技术进步奖二等奖和多项省部级奖项……如今，已高位截肢10余年、历经700多次透析的王戟，依然在强国强军的新征程上“冲锋”。

>>开拓

1969年11月，王戟出生于上海。1983年，不满14岁的王戟以优异的成绩考入国防科大计算机系。博士毕业留校后，王戟下定决心在软件自主可控方面闯出一条新路。

上世纪末，随着我军由机械化向信息化转型，王戟敏锐地意识到软件安全直接关系军事乃至国防安全。

年轻的王戟带着对国家战略需求的前瞻思考，酝酿出一个全新的研究方向——高可信软件技术：用数学方法，从底层逻辑验证代码的正确性。

“高可信软件是‘软件的医生’。”王戟团队成员、国防科大教授董威介绍说，通过给大国重器的软件系统进行“全身CT扫描”、精准诊断，找出深层次隐藏的漏洞和隐患。

1999年，初出茅庐的王戟受邀参与航天相关软件的可靠性评估任务。他和团队成员反复推演、多维测试，从几十个模型中筛选出五六个，逐一调试参数、迭代优化……历经无数次试错打磨，“最适配”模型被成功锁定。

2003年，王戟与导师陈火旺院士等人共同发表论文《高可信软件工程技术》。这是我国在该领域最早的系统性论文，至今仍被学术界高频次引用。

“只有做前沿的研究，才更容易发现前沿。”王戟常用这句话勉励自己，也用来鼓舞他的同事和学生们。

他敏锐地预测到，随着时代的发展，国家安全、军队信息化建设对于高可信软件的需求与日俱增，亟需培养、建立一支一流的团队。

于是，王戟在国内首开“高可信软件技术”研究生课程，为国家培育该领域专业人才。

2012年，王戟团队接到航天工业部门一个关于可信软件的迫切需求，主要问题是系统软件偶发中断等缺陷。经考察调研，当时国内已有的软件工具难以检测发现。

干，还是不干？“科研就像爬山，坚持下去总会有办法。”王戟带领团队从零做起，成功解决了这个难题。他们研发的工具，后来在航天软件质量保障中发挥了突出作用。

多年来，王戟主持和参与重要科研项目30余项，部分项目成果处于国际领先地位。他带领团队，始终以国家装备建设重大工程为牵引，为国家和军队重大型号工程关键软件的可靠性和安全性作出了重要贡献。

>>冲锋

2013年1月23日凌晨，王戟突发主动脉夹层。为了保住性命，王戟急诊接受了“升主动脉置换＋主动脉弓置换＋支架象鼻植入术”，手术长达13个小时，又因下肢动脉栓塞导致肌肉坏死，不得不接受“双下肢高位截肢”。

“我很幸运，我的脑子和手是好的，基本工作条件没有损失。我觉得一切都好办。”王戟用计算机的语言来“打趣”自己：我的身体出现了“死机”，但只要“重启”一下，一切照常。

新时代强国强军的征程上，王戟，开始了人生的第二次冲锋！

经过一年多的康复训练，2015年春节过后的一天，同事们在国防科大校园里惊喜地发现：那个脸上始终带着笑容的王戟，摇着轮椅回来了！

2015年，王戟毅然牵头申请了某国防973项目，并担任技术首席专家。这是当年面向国家和军队急需的唯一纯软件项目。

为了让身体适应工作的强度，王戟在康复训练中“挥汗如雨”；为了提高出行效率，他放弃了效果不佳的假肢而选择了终身与轮椅相伴；为了保持身体状态，他坚持使用手动轮椅作为自己的“健身器材”……

作为技术首席专家，项目推进过程中，有数不清的规划论证、节点检查、验收评审需要他去外地出差。学校和学院领导表示过担忧，但出于强烈的责任感，王戟始终亲力亲为。

为了不耽误进度，国防973项目推进那几年，王戟累计出差70余次，连长沙黄花机场的工作人员都熟悉了这位“轮椅教授”。

历经6年殚精竭虑，王戟和团队针对不同领域、不同类型的软件可靠性问题，打造出一套“工具箱”。2021年，项目顺利通过验收，综合评价报告这样写道：“整体技术水平处于国际前列、国内领先，部分可比指标处于国际领先。”2025年1月，依托项目孵化的成果，王戟获评军事科学技术进步奖一等奖，相关技术成功应用于多项关键国防装备。

同时，王戟还顶着项目压力，推动成立了中国计算机学会形式化方法专委会。

作为高可信软件技术的“数学根基”，形式化方法研究至关重要。“成立专委会，为的就是要凝聚起全国范围内为数不多、但极其可贵的科研力量。”王戟说。

如今，这支宝贵的科研力量，已从2015年最初的几十人发展到了逾千人。

“深山老林里的开路人，总是最先见到日出。”有人用这句话来评价王戟。

在王戟身上，科技自立自强从来不是一句口号，而是拼尽全力的冲锋。

紧跟新时代科技强军的步伐，王戟的战位发生了深刻的“位移”——北斗组网的星轨，月球表面的“脚印”，驶向深蓝的航迹，还有联合作战中穿空的电波，都在无形地牵动着王戟和团队冲锋的方向。

王戟“嗅”到了时代扑面而来的紧迫感：“做软件的人都说‘软件定义战争’。智能化作战就是比谁的软件又快又好。”

中国科学院院士、国防科大教授王怀民这样评价他：“王戟是我国高可信软件领域的主要开拓者。”

从逐梦航天到挺进深蓝，从战机凌空到长剑倚天，从超算登顶到经纬沙场……从事高可信软件技术相关研究30余年来，无数令国人历历在目的瞬间背后，都有着王戟和团队的身影。

聚焦“十五五”这一“科技强国建设的关键攻坚期”，王戟团队又向人工智能的可信问题发起了新的冲锋。 新华