光明日报记者 刘小兵

　　夏日的清晨，位于湖南长沙的国防科技大学天河楼前，一位戴着眼镜、穿着军装的教员快速转动轮椅进入大楼。他就是计算机学院研究员、我国高可信软件技术领域主要开拓者王戟。

王戟（中）在图书馆与学生讨论。新华社发

　　深耕科研领域30余载，王戟33岁被评为教授、38岁获国家杰出青年科学基金，荣获军事科学技术进步奖一等奖等多个奖项。同时，他一直在与病痛做顽强斗争，是高位截肢10余年、每周要做3次透析的病人。

　　在强国强军的新征程上，王戟以轮椅为“战车”、以数字代码为武器，在瞬息万变的国防科研最前沿冲锋不止。

　　“作为军队科研人员，就是要把论文写在强国强军实践中”

　　“当年支援三线建设的父母给我取名‘戟’，就是希望我能‘执干戈以卫社稷’。”1969年出生的王戟说，自己天生就与军队有缘，虽然不能驰骋沙场，但能够为重大武器装备等领域的关键软件提供高可信软件技术支撑，也算是服务国防现代化建设了。

　　什么是高可信软件技术？王戟用形象生动的语言进行了解释，高可信软件技术就像“软件医生”，通过给大国重器软件系统做“全身CT扫描”、精准诊断，找出深层次隐藏的漏洞和隐患。“我的工作就是提供系列软件分析验证工具，保障航空航天、重大武器装备等领域关键软件安全可靠。”王戟自信地说，“2000年在导师陈火旺院士的指导下，我提出了这一概念，20多年过去了，国内高可信软件技术已站在世界前列。”

　　“10多年前，互联网热潮席卷全球时，不少人都跟风研究，但王戟却认为科研不是追热点的短跑，而是一场与国家需求同频共振的马拉松。”单位同事邓明堂说，他带着大家继续在高可信软件领域开疆拓土。

　　这是一条少有人走的路。当时，国内专门研究软件可靠性的人寥寥无几，相关资料极度匮乏。王戟没有丝毫退缩，实验室成了他第二个家。团队成员陈立前回忆：“王老师总是最早到，最晚走。”有一次，为了解决一个关于航天测控软件可靠性的难题，王戟带领团队连续奋战。大家讨论算法、编写代码、又推翻重来，从几十个模型中反复测试，最终筛选出五六个模型。

　　功夫不负有心人。团队的研发成果，最终形成了对关键软件进行精细“扫描”的能力。此后，不少单位碰到软件检测难题，都会来找他们“看病”。“专啃硬骨头”的别动队——这是业内对王戟团队的赞赏。

　　哪怕是后来突发重疾、高位截肢，王戟也始终专注于高可信软件技术研究事业。2025年初，王戟研究的项目孵化成果获军事科学技术进步奖一等奖，为诸多国家战略工程和军队新质战斗力生成提供了坚实支撑。

　　如今，无论是北斗组网的星轨、月球表面的“脚印”，还是驶向深蓝的航迹，都是王戟和团队研究的方向。“作为军队科研人员，就是要把论文写在强国强军实践中。人工智能的可信问题是我们正在攻关的最新课题。”王戟对未来充满信心。

　　“工作就是生命的意义”

　　“与‘死神’擦肩而过的我，最庆幸的就是两只手还能动，基本工作条件没有损失。”王戟的话透着乐观与豁达，但知道的人都清楚，13年前的那场重病是多么凶险和可怕。

　　2013年1月23日凌晨，王戟突发主动脉夹层。手术整整进行了13个小时，王戟才脱离了危险。可术后不久，王戟的双腿又出问题，不得不截肢保命。“我们实施了几次大型截肢手术，最后是左边大腿高位截肢，右边髋关节离断。”当年参与抢救的中南大学湘雅医院骨科大夫俞芳说，王戟在重症监护室住了147天。

　　“那时我签了好多次病危通知书。”王戟的妻子黄春回忆起来仍语带哽咽，“他得知自己没了双腿，沉默了许久后说，这是没法选择的事情，就不去想了，要过好今后的每一天。”

　　于是，手术后仅仅一个月，王戟就开始在病房举着手机看资料了。当笔记本电脑被允许带进病房，王戟的“重启”进程又加快了。他把病床调高，半靠着打字。学生发来的论文，他逐字逐句标注修改；团队攻关遇上技术瓶颈，他隔着电话细致拆解。同事和学生来探望时，都劝他要好好休息，他却说：“只要我脑子好使，手还能动，我就不会停下来。”

　　2015年春节过后，单位刚刚修好的无障碍通道上，脸上总是挂着笑容的王戟摇着轮椅回来了。他担任了某重点国防项目的技术首席专家，带领团队在难题里披荆斩棘。有时为了赶赴论证或评审现场，需要出差，他会选择最早的航班，双肩包往胸前一挂、轮椅一摇就出发……重返岗位的王戟，把轮椅开成了“战车”。他总想要快一点、再快一点，他说：“科研项目不能等，国家更等不起！”

　　但命运的考验并未止步。2021年项目顺利通过验收，王戟却因肾脏衰竭，不得不每周接受透析治疗。“透析日就是我的专属‘休息日’。”他笑称。实际上，这个“休息日”却是和病痛抢夺科研时间的战场，一分一秒，他都舍不得虚度。一干起活来，王戟摇轮椅的速度，正常人小跑才能赶上。对王戟来说，“工作就是生命的意义”。

　　“做老师最幸福的事情，就是看到学生超过自己”

　　“王老师工作起来夜以继日，上次我晚上10点多发了问题咨询，没想到第二天看到老师凌晨1点回了我。”研究生学员赵晶感动地说，只要老师不去透析，总看到他在办公室电脑前忙碌，但只要去找他，他都会耐心地辅导。

　　王戟常说：“做老师最幸福的事情，就是看到学生超过自己。”在他心中，学生就是自己学术生命的延续，千方百计要把他们都培养成才。

　　王戟上课有一个习惯——多用白板和马克笔。博士学员杜易记得，有一次王戟让他到白板上演算一个公式。结果写到一半杜易卡住了。王戟拿过马克笔，用上肢抵住白板边缘借力，从基础定理开始推导。手腕挥动间，一行行工整的公式、清晰的逻辑链条跃然白板之上。“这十几分钟，是我那学期学得最扎实的。”杜易说。

　　博士刘万伟改进一个经典算法时，一度受挫。王戟告诉他：“这是国家软件领域的根技术，花再多时间都是值得的。”师徒二人潜心坚持了4年，最终研究出这个领域的全新算法，比当时全球最优算法的复杂度降低了一个指数倍。“没有王老师鼓励和指导，我肯定坚持不下来。”刘万伟对此感激不已。

　　“王老师生病住院的那段日子，我们去看他，本想问候几句就走，可每次王老师都会主动把话题转到课题上。”教员李明龙回忆，“老师克服身体不适，一直帮我答疑解惑。”

　　在王戟的悉心培育下，李明龙攻克了科研中的道道难关，顺利博士毕业并留校任教。他的成长轨迹，只是王戟众多学生的一个缩影，一批又一批年轻人，如今都已成为各自领域的中坚力量。

　　“感谢这个时代，我会继续奋勇向前”

　　“有陈火旺院士做导师，是我一生的幸运。”王戟回忆，当年导师带着他四处考察学习，鼓励他不怕困难、勇于创新，老一辈不畏艰难、追求卓越的献身精神，深深影响了他，也成为他重病后能够继续前行的原动力。

　　“生病后，之所以能很快走出来，也是有团队在身边，大家都在扶着我往前走。”在王戟心中，团队从来没有把他当成需要被特殊照顾的那个人。他还是团队里的主心骨，还是难题前的定盘星。他们照常开会、照常攻关、照常争论，一切如常。

　　采访时，王戟的笑容特别温暖，问及爱笑的原因，他说，因为自己是一个“有福气的人”，无论工作还是生活，很多人都给予他及他的家庭很多帮助，让他能心无旁骛地搞科研，当然很开心。

　　学校为王戟改建了无障碍通道和厕所。还有同事王挺，接送王戟上下班8年，风雨无阻。王挺说：“王戟的敬业精神令我感动，也给我力量。”

　　“王戟得病时，我们的女儿才两岁多，多亏了邻居梁妍。”黄春说，梁妍把女儿接到了自己家，热心照顾了近一年。从此，女儿管她叫“姨妈妈”。“王戟的父亲住院时，梁妍也是做好了营养餐让黄春送到医院。”王戟的母亲刘桂枝说，梁妍一家的无私付出，让她感受到了人间真情。

　　王戟笑着说，社区的周到服务让他少了许多后顾之忧，也更加专注于科研攻关。

　　类似的感人故事还有很多。“我能方便地去办公、去出差，看似一个人，实际上靠的是集体、组织的助力。”王戟真诚地说，“感谢这个时代，也感谢大家的帮助和托举，我会继续奋勇向前，再创佳绩。”

　　短评

　　实干践初心 奋进铸荣光

　　作者：刘小兵

　　终日与轮椅为伴的王戟，将轮椅化作“战车”，以键盘为戈矛、代码为长剑，经受住了生活的多重打击，以乐观主义精神擎起强军火炬，以信念逐梦科研星河，以“春蚕到死丝方尽”的奉献培养栋梁之材，诠释了“天行健，君子以自强不息”的千古箴言。

　　王戟恪守科研初心，不慕名利、沉心耕耘；不向命运低头，勇敢豁达、冲锋不止；践行师者使命，以身作则、薪火相传。他的事迹，不仅是一个人的拼搏史，更是一代代科研工作者的奋斗缩影，彰显着“铸国防基石，做民族脊梁”的使命担当。

　　榜样是旗帜，更是力量；典型是标杆，更是指引。广大干部群众要学习王戟“为国为民、无私奉献”的赤诚、“愈挫愈勇、永不言弃”的韧性、“心无旁骛、潜心钻研”的坚守，立足本职、脚踏实地，攻坚克难、突破创新，用实干与奉献，书写不负韶华、不负时代、不负人民的壮丽篇章，为实现中华民族伟大复兴的中国梦贡献力量。

　　《光明日报》（2026年07月29日 04版）