#冲锋不止的科研尖兵# 《软件有bug能修，人的信念没有补丁》
王戟的故事里有一个细节特别扎心：他被授予“时代楷模”称号，嘴里念叨的却只是“只要能敲键盘，一切都好办”。一个靠透析维持生命的人，把敲键盘当成最大的奢侈——这背后是对时间的极致吝啬。
他14岁考入国防科大，师从陈火旺院士，从银河巨型机一路走到高可信软件。所谓“高可信”，说白了就是让关键软件不出错。普通软件崩了可以重启，战机飞控系统的软件崩了就是机毁人亡。王戟干的就是这种“零容错”的事——在导弹发射前、战机升空前，用数学般的严谨把代码里的雷一颗颗排掉。他自研的工具攻克了“卡脖子”难题，给大国重器装上了“安全锁”。这活的技术门槛极高，但他说起来轻描淡写：“给软件看病”。
两次重病，截肢加肾衰竭，换别人早退了。他硬是扛着每周三次透析继续干——把治疗排到下午，上午照常工作；病床上改论文，轮椅上讲课。这种坚持不是靠“毅力”两个字能概括的，是他真把代码当成命根子。
更难得的是传承。他带出的120多名学生，分布在高可信软件各个方向。他说“打好基础”是导师陈火旺给的终身课题，现在他把这个课题传下去了。
技术可以被封锁，身体可以被击垮，但王戟用半辈子证明：真正的“安全锁”，不在代码里，在人心上。