2026-07-29 14:56:33
王戟是谁？
中国科学院院士、分布式系统与软件工程专家王怀民这样介绍他：“王戟是我国高可信软件技术领域的主要开拓者，二十多年前在国内首次提出‘高可信软件技术’概念。”
他扎根军队教学科研一线30余载，在高可信软件技术这一“小众硬核”赛道矢志自主创新，带领团队啃下无数硬骨头，为保障航空航天、重大武器装备等领域关键软件安全可靠作出重要贡献。一路艰辛，他却始终向阳而行，以钢铁般的意志，在新时代科研征途上写下炽热篇章。
勇攀高峰 为国铸盾
每棵参天大树，都始于破土而出的那一刻。王戟的人生，也是如此。
1983年，被父母取名寄寓“执干戈以卫社稷”的王戟通过高考，跨入国防科技大学的校门。也是那一年，“银河—Ⅰ”巨型计算机在国防科大研制成功的消息传遍全国，中国成为第三个能独立设计和制造巨型机的国家。刚入校不久的王戟从老一辈“银河人”身上，第一次真切读懂“使命”二字的分量——“使命就是党和国家的需要”。
多年后回望，他依然记得自己脱口而出“我要学计算机”时的少年意气。而那份纯粹，早已沉淀为日复一日的专注：每一堂基础课，每一次上机实验，他都全神贯注。1991年11月，22岁的王戟在入党志愿书中郑重落笔：“我是一名党培育起来的军校博士，只有把自己的一生同党的事业、国家的前途、人民的利益联系起来，才能让人生更加充实、更有意义。”
他把入党初心作为恒心，以党和国家需要为己任，锚定高可信软件技术这一基础性、关键性研究领域，深耕不辍。
上世纪90年代，中国载人航天“921工程”启动，软件工程化成为国防现代化建设的核心关键，而彼时国内软件行业尚在蹒跚起步阶段。年轻的王戟意识到，随着我军由机械化向信息化的快速转型，信息系统会“生病”，如果没有“看病”的工具，就会给军事安全带来致命威胁。与导师——中国工程院院士陈火旺的交流中，他提出了“高可信软件技术”的概念。导师的认可，让他更加坚定了决心。
这是一条少有人走的路。彼时，国内专门研究软件可靠性的人寥寥无几，相关资料极度匮乏，甚至连清晰的中文概念都没有。但王戟看得透彻：“高可信软件，将来一定是国防安全的命门。国家需要，就值得我深耕。”
2003年，王戟与陈火旺院士等联名发表的《高可信软件工程技术》，成为国内该领域最早的系统性论文，清晰地勾勒出高可信软件技术的核心框架与未来走向。2004年，他在国内首开“高可信软件技术”课程，第一次系统地将这一国际前沿理论引入研究生课堂。“技术超前性，科研反哺教学”，成为这门前沿课程的“名片”。
然而，研究之路从来不是坦途。一次复杂软件验证系统的开发中，团队陷入长达数月的技术瓶颈。王戟带着团队反复研读国外少得可怜的文献，一点点消化晦涩的理论，再结合国防工程的具体需求，不断试错。数月艰苦鏖战，终于攻克难关，成功开发出高效的软件可靠性度量工具。研发过程中，团队突破了大规模代码资源分析、缺陷自动检测、演化控制等关键技术，保障能力从万行级跃升至千万行级。
自强不息 感恩奋进
曾经，王戟在入党志愿书里写道：“我决心在党的培养和教育下，磨练意志，无论在何种艰难困苦的环境中，绝不退缩。”那时的他，不曾预料到，多年以后，命运会让他亲身经历常人难以想象的艰难与磨砺。
2013年1月23日凌晨，王戟突发主动脉夹层，被紧急送医。这种心血管急症极其凶险，历经13小时的心脏手术，他刚闯过第一道生死关，更沉重的打击接踵而至，肌肉不断坏死，最终左边大腿高位截肢，右边髋关节离断。
正当人生盛年，在本该全力奔跑的年纪，他却骤然失去双腿，那种痛楚，可想而知。当大家都以为，重病在身的王戟会按下“暂停键”时，术后仅一个月，他便开始了重新“起跑”。
“清醒的时候，我想了很多，回首科研之路，惦记未收尾的课题、等候指导的学生，挂念妻子和刚学会走路的女儿。其实人最大的困难在于选择，失去双腿是没有选择的事情，我想的是，应该珍惜第二次生命，把它用好。”走过生死线的王戟，再提起那段岁月，只是淡然一笑，“生病后，之所以能够走出来，包括在病房里思考工作，也是因为有团队在身边，团队在，自己才能往前走。”病床前，同事们探望时，他关注的是“课题研究得怎么样”，对方答的是“快点好起来，项目还等着你”。他们聊得最多的，是对学科方向和理论前沿的思考，当一群人心中被使命填满，发生的一切又都是那么自然。
第二次生命，要“重启”，就得有新的活法。病床上，他请护士递来手机，一手吊着输液管，一手握着手机靠在枕头上，翻阅存在里面的学术论文。当笔记本电脑被允许带进病房，“重启”进程又加快了。他把病床调高，半靠床头，用电脑打字。学生发来的论文，他逐字逐句标注修改；团队攻关遇上技术瓶颈，他隔着电话细致指导。
为了早日重返岗位，王戟在组织的安排下，前往北京进行系统康复训练。2015年春节刚过，单位刚修好的无障碍通道上，王戟面带笑容地回来了。不仅如此，他还主动申请参与某国防973项目。领导和同事担心他的身体，他执拗地说：“这是我的心愿，没生病前就一直在努力。哪怕不让我当负责人，我也要加入课题组。”
王戟明白，传统意义上的战争，自己很难再去参与。但在科技自立自强的战场上，他还是那个代码铸盾、冲锋不止的钢铁战士。“只要我脑子好使，手还能动，我就不会停下来。”他担任项目技术首席专家，带领年轻人在难题中劈波斩浪。2021年，项目顺利通过验收，综合评价报告这样写道：“整体技术水平处于国际前列、国内领先，部分可比指标处于国际领先。”
而此时的王戟，却因长期重病损伤肾功能，必须每周定期透析治疗。除去透析时间，他办公室的门都是开着的；工作忙时，他甚至一边透析，一边通过视频会议和团队研讨。
阳光洒在王戟的脸颊，也照亮他手臂上那些反复穿刺留下的褐色瘢痕，一道道硬结的针孔，无声记录着这些年他与疾病反复拉锯的全部历程。当记者感叹他的精神之可贵，王戟却说：“不是我的精神有多强大，是大家的托举、大家的接纳、大家的帮助。看似一个人，实际上是一个集体、一个组织的力量。”
立德树人 为战育人
培养造就大批德才兼备的高素质人才，是国家和民族长远发展大计。“科研做的是今天的事，教学培养的是未来的人，两样都放不下。”在王戟的价值天平上，有一个信念从未摇摆：学生的成长，是他身为老师最大的成功。
王戟上课有个习惯，多用白板和马克笔。这种“白板教学法”，是他从导师陈火旺院士那里传承下来的。“手写推导能暴露思维漏洞。PPT是给别人看的，板书才是给自己看的，要让逻辑的漏洞无处可藏。”课堂上，他要求学生用白板和马克笔，当众进行逻辑推演。他坐在轮椅上，目光如炬，始终能精准地捕捉到学生思维的断层，然后一针见血地指出问题。他常对学生说：“我们要培养的，不是只会敲代码的程序员，而是能解决‘卡脖子’问题的战略人才。你们要把个人的发展，和国家的需求最适配地结合起来。”
学生们都说，王戟老师的时间是个变量，对自己省之又省，对学生又无比慷慨。“他对我们，从来不着急。”博士刘万伟改进一个经典算法遇到挫折，王戟告诉他，这是国家软件领域的根技术，花再多的时间都是值得的。师徒二人潜心坚持了4年，最终研究出这个领域的全新算法，比当时全球最优算法的复杂度降低了一个指数级。“没有王老师鼓励和指导，我肯定坚持不下来。”刘万伟感慨道。
急与不急，都根植于王戟对使命的深刻理解。“作为一名军队科研人员，就是要把论文写在强国强军实践中。”王戟说，做科研，要顶天立地。顶天，就是聚焦国家和军队重大战略需求；立地，是一切为先进生产力、新质战斗力服务。
“80后”教授陈立前，读研时便深受王戟影响，如今已是多个重大项目的中坚骨干。“王老师教给我的，不仅是学术上的前沿洞察力，更是对待工作的态度。对他而言，工作是职业，也是事业，更是使命。”陈立前说。
在王戟心中，学生就是自己学术生命的延续，他望向学生的目光中，满含希望，“我希望他们尽快地接班、尽快地成长”。那目光，沉静而滚烫，如同他走过的那条路，充满艰辛，却始终向着阳光延伸。