今天大家是不是都收到这条短信了？


中宣部授予王戟同志“时代楷模”称号，褒扬他是“冲锋不止的科研尖兵”，号召全社会向他学习。



很多人看到消息，心里都会生出疑问：这位王戟，究竟是谁？值得全国统一表扬宣传！



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




1983年，不满14岁考入国防科技大学计算机系，师从我国软件工程泰斗陈火旺院士，从此扎根高可信软件这条冷门硬核赛道。



2013年重病导致双腿高位截肢，依靠轮椅坚守科研一线三十余年，是我国高可信软件领域主要开拓者，实打实创下多个国内第一：



✅ 国内最早提出高可信软件技术概念的核心学者，从零开辟这一前沿研究方向；



✅ 2004年开设国内第一门《高可信软件技术》研究生课程，搭建该领域初代人才培养体系；



✅ 重病康复后，牵头担任国防973计划项目技术首席，这是当年全军唯一纯软件方向重大基础研究项目，他是首席科学家。



✅ 主持、参与多项国家863计划、国家重点研发计划、国防重大专项；



✅ 带领团队自主研发全套国产软件可信性验证工具链，整体水平国内领先、部分指标达到国际前列；



✅ 研发成果落地支撑天河系列超级计算机、载人航天工程、先进战机、舰船、导弹等大国重器的软件安全校验；



✅ 项目成果斩获军事科学技术进步奖一等奖；



✅ 培育博士、硕士研究生120余名，绝大多数成为国内关键软件领域骨干人才。

很多人只看见火箭、超级计算机、先进装备这些耀眼的国之重器，却很少有人知道：软件是装备看不见的“神经系统”。一行代码出错，就有可能造成重大任务失败。王戟的工作，就是给大国重器的代码“体检”，守住自主可控的安全底线。



肉身困于轮椅，理想驰骋山海。



“传统战场我无法奔赴，但科技战场上，我依旧可以冲锋。”王戟是这样说的。



生命不息，冲锋不止。向时代楷模、冲锋不止的科研尖兵王戟致敬！