在国防科技大学，有一位坐在轮椅上的研究员，他的名字叫王戟。命运曾对他施以重击，他却以钢铁般的意志，在国防科研的战场上持续冲锋。他不仅是我国高可信软件领域的重要奠基人，更是一位在病痛中依然乐观坚韧的斗士。
从聪慧少年到冷门领域的拓荒者
1969年11月，王戟出生于上海，次年跟随父母支援三线建设，迁至湖南常德。父母为他取名“戟”，寓意“执干戈以卫社稷”。幼时的他调皮活泼，但一进课堂便全神贯注。母亲刘桂枝当时是厂里的夜校教员，常常带着他一起上课，这段经历为他日后的专注力打下了基础。
1983年，不满14岁的王戟考入国防科技大学计算机系。在计算机专业热潮涌动的年代，他却将目光投向一个少有人涉足的领域——高可信软件技术研究。这项技术如同为大国重器的软件系统做全面体检，精准揪出深藏的漏洞与隐患。而在三十多年前，国内这一领域几乎是一片空白。
师从陈火旺院士后，王戟与团队在国内率先提出“高可信软件技术”概念，并联合发表《高可信软件工程技术》论文，成为我国该领域最早的系统性学术成果。三十多年来，从航天到海防，从战机到超算，他和团队为国家和军队重大型号工程的软件可靠性与安全性作出了不可磨灭的贡献。
生死边缘，他重新按下“启动键”
33岁评上教授，38岁获得国家杰出青年科学基金，还斩获多项国家级奖项——王戟的科研之路原本一片坦途。然而2013年，命运给了他沉重一击：突发主动脉夹层，历经13小时抢救虽保住性命，却永远失去了双腿。
近半年的重症监护、十余次手术、数不清的病危通知，足以击垮任何人。但王戟没有倒下。在康复期间，他毅然牵头申请了某国防973项目并担任首席专家，这是当年唯一面向国家急需的纯软件项目。他常说：“第二次生命，我要好好用它。”
六年殚精竭虑，王戟团队针对不同领域的软件可靠性问题，打造出一套完整的“工具箱”。综合评价报告指出：整体技术水平处于国际前列、国内领先，部分指标达到国际领先。
与病魔共舞，透析中的“双休日”
2021年，王戟又被确诊为肾衰竭，且不具备移植条件。每周三次透析，每次数小时的静卧、扎针的刺痛、严格控水的煎熬，他都默默承受。他却笑着比喻：“透析的时候，就像我的双休日一样。”
病房与办公室两点一线，成了他生活的常态。他深知国防科研等不起，哪怕身坐轮椅、遍体伤痛，也要为家国拼搏。
铠甲之下，一位普通父亲的柔软期许
卸下所有光环，王戟也是一位普通的父亲。他生病那年女儿才两岁多，孩子似乎本能地学会了不再总喊爸爸帮忙。上小学时，女儿为他画了一幅名为“台阶”的画，写道：“台阶象征着父亲的自尊和理想。”
工作再忙，王戟也会抽空陪女儿读书散步，从不强加干涉，只教她踏实善良。他心底藏着一个朴素的愿望：“希望能看到女儿上大学，最好能看到她出嫁。”
从勤学少年到资深学者，从绝境战士到温柔父亲，命运夺走了他站立的双腿，却夺不走他向上的脊梁。半生风雨，一腔赤诚，这就是王戟——永远心怀纯粹，永远冲锋不止。