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

看到这条消息，我愣了好一会儿。

王戟是谁？1969年生，上海人。不满14岁考上国防科大。33岁评上教授。38岁拿下国家杰出青年科学基金。履历漂亮得不像真的。

命运翻脸比翻书快。

2013年1月23日凌晨，王戟突发主动脉夹层，血管从胸口撕裂至腿部。历经13个小时紧急手术，性命得以保住，但双腿高位截肢。

突如其来的重创足以压垮很多人，王戟却选择咬牙坚持。尚在病房休养阶段，他就坚持线上和学生沟通科研、探讨论文。病床边堆放着大量外文资料，密密麻麻写满批注。他曾对外表示，只要头脑还能思考、双手还能工作，科研之路就不会停下。

2015年，他坐着轮椅重返教学与科研一线，依靠轮椅完成日常工作通勤。面对身边人的关心，他始终保持淡然。

2021年，肾衰竭病症再度袭来。如今他每周需要开展三次透析，至今已经七百多次。长达数小时的透析治疗期间，他常常带上电脑，利用间隙修改论文、回复学生的科研疑问。

很多人疑惑，高可信软件到底研究什么？举个例子：大型装备核心控制系统中，一行代码出现疏漏，就可能埋下巨大安全隐患。王戟钻研的方向，就是通过理论方法，提前排查代码潜藏的各类风险。

1996年，国外一枚运载火箭升空数十秒后失控爆炸，事后调查证实事故根源是软件数据转换漏洞。这次事故给全球航天领域敲响警钟。

在那个年代，国内高可信软件方向研究者寥寥无几。2003年，王戟和导师陈火旺院士发表国内该领域早期系统性论文。2004年，他率先在国内开设相关研究生课程，填补国内教学空白。

互联网浪潮来袭，不少同行转向热门赛道追逐短期收益，王戟坚守基础研究阵地。面对国外技术壁垒，他带领团队自主研发软件验证工具，搭建完整理论模型。基础研究周期漫长，方案常常需要反复推倒优化。2025年，由他牵头、深耕十余年的项目斩获军事科学技术进步奖一等奖，多项成果运用在重大国防装备之上。

不少国防科大师生提起王戟十分敬佩。即便身体常年承受病痛，他依旧坚持认真审阅学生论文，及时解答科研难题。外出开展学术交流，他尽量独立行动，不愿过多麻烦身边学生，希望年轻人把精力投入科研工作。

从教多年，他培养120余名硕士、博士研究生，绝大多数毕业后奔赴全国各地国防科研一线。

我和一位技术行业从业者聊起王戟，他感慨，这一领域十分艰苦，软件验证工作耗时漫长，一次失败就要重新开始。能够十几年扎根冷门基础方向，离不开坚定的理想信念。

我内心深有感触。常年依靠轮椅出行，还要持续对抗病痛，王戟依旧坚守科研一线十几年。这个时代从来不缺聪明人，真正稀缺的，是愿意沉下心、为国攻坚的坚守者。

备注：人物事迹综合新华社、央视、国防科大官方公开报道；科普内容仅供参考，文中个人感悟仅作交流。