时代楷模王戟：轮椅上的科研尖兵，用代码筑牢国防安全屏障

2026年7月29日，中宣部授予国防科技大学计算机学院研究员王戟“时代楷模”称号，褒扬他为“冲锋不止的科研尖兵”，号召全社会向他学习。王戟长期深耕高可信软件领域，构建自主理论体系，保障多项重大装备关键软件安全可靠，更以高位截肢近13年、每周3次透析的病弱之躯，书写了新时代科研工作者的使命担当 。

在大众认知里，大国重器是腾空而起的导弹、翱翔蓝天的战机、驰骋深海的舰艇这些硬核装备。但很少有人知道，支撑这些高精尖国防装备稳定运行的核心，是肉眼看不见的核心软件。高可信软件更是国防装备的“安全底线”，直接决定着重大装备能否在关键时刻稳定、安全、精准执行任务，是国防科技领域不可或缺的关键核心。王戟常说：“高可信软件就像一个‘软件医生’，给大国重器的软件系统进行全身扫描、精准诊断，找出深层次隐藏的漏洞和隐患。”

世纪之交，随着我军加快由机械化向信息化转型，一个迫切问题随之而来：怎样让装进大国重器的每一行代码，在关键时刻都靠得住？那时国内这一领域几乎还是空白，国外成熟软件体系垄断市场，不仅核心技术受制于人，还存在极大安全隐患。外部软件暗藏的漏洞、后门风险，随时可能威胁我国国防装备运行安全，一旦遭遇技术封锁，诸多重大国防项目将面临停滞风险 。

深知核心技术买不来、讨不来的王戟，不满14岁就考入国防科大，33岁评为教授，30余载扎根军队教学科研一线，在高可信软件技术这一“小众硬核”赛道矢志自主创新 。2000年，他随导师陈火旺院士参加学术会议时，首次提出“高可信软件技术”概念，2003年共同发表国内该领域最早的系统性论文《高可信软件工程技术》，为我国高可信软件研究奠定了理论基础 。

命运的考验接踵而至。43岁时，王戟因主动脉夹层手术不幸高位截肢，之后又患上严重肾病，每周需要3次透析维持生命 。但他没有向命运低头，把透析时间改到下午，只为省出半天工作；以轮椅为战车，在“病房—办公室”两点一线间持续冲锋，国防973项目推进那几年，他累计出差70余次，连机场工作人员都熟悉了这位“轮椅教授” 。

为打破国外技术垄断，王戟带领团队从零起步，摒弃依赖外来技术改良的捷径，深耕基础理论研究。面对繁杂晦涩的软件可信性机理、复杂多变的装备运行场景，他牵头梳理海量技术数据，攻克软件容错、漏洞防控、可信验证等一系列卡脖子难题，一点点搭建起属于我国的高可信软件自主理论体系，彻底填补了国内该领域的理论空白 。历经6年殚精竭虑，他们打造出一套针对不同领域、不同类型软件可靠性问题的“工具箱”，2021年项目通过验收，综合评价为“整体技术水平处于国际前列、国内领先地位，部分可比指标处于国际领先地位”，实现了由“跟跑”到“国际领跑”的突破 。

这套自主研发的理论体系，从根源上解决了国产重大装备关键软件稳定性差、安全性不足、可控性薄弱的问题，成功应用于航空航天、重大武器装备等领域，为各类高端国防装备、战略科技设备的稳定运行保驾护航，让我国国防核心软件彻底摆脱了对外依赖，牢牢守住了国家国防科技的安全底线 。

除潜心科研攻坚，王戟还深耕国防科技人才培育工作。在国防科技大学的教学科研岗位上，他倾囊相授科研经验，耐心指导青年学子深耕基础软件研究，鼓励年轻科研人员敢于创新、勇闯科技无人区，为我国高可信软件领域培育出一批又一批高素质专业人才，搭建起可持续发展的科研人才梯队。他常对学生说：“只要脑子还好使，手还能用，我就不会停下。”

两过生死关，他将轮椅炼成战车；以生命赴使命，用坚守铸荣光。王戟用一生坚守诠释了新时代科研工作者的家国情怀，以默默耕耘突破核心技术壁垒，用自主创新守护国家科技安全，更以钢铁般的意志展现了“冲锋不止”的军人本色，是当之无愧的时代榜样。

各位读者你们怎么看？欢迎在评论区讨论。