轮椅作战车，代码筑防线！王戟荣获时代楷模，守护大国重器的软件安全

2026年7月29日，中宣部授予国防科技大学研究员王戟“时代楷模”称号。王戟长期深耕高可信软件领域，构建自主理论体系，保障多项重大装备关键软件安全可靠！

很多人了解大国重器，目光大多聚焦坚硬的硬件装备，很少留意藏在设备深处、由无数代码组成的软件系统。一行代码出现隐患，就有可能让航天工程、主战装备遭遇难以预估的风险。三十多年前国内高可信软件研究几乎一片空白，极少有人愿意踏足这条冷门艰难的赛道，王戟却早早看清这份研究对于国防安全的分量。

不满十四岁踏入国防科大求学，师从软件领域先驱陈火旺院士，他率先提出高可信软件技术概念，带领团队从零搭建属于我们自己的理论框架。这套技术如同给各类装备的软件配备专属体检仪，精准捕捉潜藏在海量程序里的漏洞，把故障隐患消灭在正式投入使用之前。

命运却给了他沉重打击。2013年一场突发重病，让他永远失去双腿，后来肾脏持续衰竭，每周都要多次透析维持身体状态。旁人觉得他可以就此放下重担安心休养，王戟没有接受命运的安排。轮椅变成他新的“战车”，病房、实验室两点一线，透析间隙依然抓紧时间推进科研项目。

坐着轮椅奔赴各地开展技术攻关，牵头多项国家级、军队重大科研任务，耗时数年打磨出成套软件验证工具。这些自主研发的成果走出实验室，持续为航天工程、大型武器装备、超级计算机筑牢软件安全屏障，打破国外相关技术壁垒。

讲台之上他尽心育人，培育大批软件工程后备人才；科研一线他迎难而上，拒绝照搬国外现成方案，坚持走出自主创新的道路。取名“戟”，承载着执干戈以卫社稷的期许，他没法站立奔赴演训场，却以代码为利刃，在无形的数字战场持续冲锋。

“时代楷模”这份荣誉，是对一名科研工作者数十年坚守的最高褒奖。真正的为国铸盾，不只体现在硝烟弥漫的前线，也藏在日复一日、耐住寂寞的实验室里。

了解王戟的事迹之后，你是否也被这位身残志坚、潜心攻关的科研先锋深深打动？