央视网消息（新闻联播）：国防科技大学研究员王戟不满14岁考入学校计算机系，博士毕业后留校任教，30年如一日专注高可信软件这一“冷门硬核”赛道。2013年以来，他直面高位截肢、肾衰竭的重大挫折，以坚韧意志和乐观精神坚守战位，在科技强军、人才强军的时代浪潮中奋楫前行。这几天，正是研究生毕业周期，尽管行动不便，王戟从未因身体原因错过每一名学生的答辩。
“用计算机助力国防”，这是1983年王戟考入国防科技大学时立下的志向。那一年，我国首台亿次巨型计算机“银河-Ⅰ”在学校研制成功，巨型机技术打破国外垄断的荣光深深感染了这名少年。1999年，30岁的王戟受邀评估航天软件的可靠性，带领团队调试参数、对比数据，成功锁定最优模型。
也正是这次任务，让王戟更加坚信，软件是否“可信”已成为国防安全的重要支撑。王戟在国内率先提出“高可信软件技术”概念，带领团队自研核心工具、开发算法，攻克漏洞排查、安全验证等难关，闯出了一条自主可控的新路。2013年初，正处于事业巅峰的王戟突发主动脉夹层，历经多次手术才脱离生命危险，却也永远失去了双腿。
今后的路该怎么走？王戟从母亲打来的电话中获取了信心。2015年春节过后，王戟回到工作岗位，毅然牵头申请了某国防973项目，并担任技术首席，这是当年面向国家和军队急需的唯一一个高可信软件项目。2021年，该项目高标准通过验证后，王戟却因肾脏衰竭再次住进医院。
此后，陪伴他的，不仅是轮椅，还有每周三次，每次四小时的透析治疗。失去双腿的王戟，虽无法在讲台上站立，但依然在科研高地上耸立。坐在轮椅上的他带领团队取得多项达到国际先进水平的创新成果，培养高可信软件技术骨干人才120多人，为保障重大装备关键软件的可靠安全作出重要贡献。
