王戟教授国防科技大学博士毕业后留校投身高可信软件领域研究。2000年，作为国内最早倡导此研究的人之一，王戟首次提出“高可信软件技术”这一概念，并结合研究实际形成学术论文，在学术界引发共鸣。理论研究取得成功后，王戟又结合工程实践中的具体案例，在国内首开《高可信软件技术》课程，把这一国际前沿理论引入研究生课堂。那么，我们这些作战系统之所以能有效的互联起来，在软件商依靠的是什么？就是王戟教授提出来的这门学科——《高可信软件技术》。有了这套理论才有了我们技术的突破，有了后来的《高可信软件技术》课程才有了我们国家培育出来那么多人才，也才有了我们今天的这种能力。

更厉害的是，我们可不止这一种能力，而是各种能力都强！雷达看八千公里是不是觉得很天方夜谭？空空导弹能打上千公里是不是很科幻？“A锁、B射、C导”这种地、空、天、网的四位一体是不是令人惊掉下巴？还有我们军舰的中压直流综合电力系统所带来的全电推进、电磁弹射、电磁炮······当然还有现在正在试飞中的六代机······

这一切我们都实现了，简直是井喷式实现！你觉得神奇吗？但这一切，就是因为我军有无数王戟这样的科学家夜以继日地奋斗着！大家看看王戟棘手那种身残志坚的精神，你能不感动吗？了解一下我们的军工人是怎么拼出来今天的！我们现在面对列强腰杆子硬得都坐下去，总想上去揍他们，这种底气谁给的？都是他们努力的结果啊！