国防科大王戟：轮椅上的高可信软件拓荒者

国防科技大学计算机学院研究员、博士生导师王戟，用双臂和腰腹力量支撑身体，从轮椅腾挪至车座。这短短几十秒的动作，是他重返校园与外界交流的日常缩影。尽管长期透析在身体留下痕迹，但面对镜头时，他眼含笑意，谈吐清晰，展现出科研工作者的坚韧与从容。

王戟出生于1969年11月，少年时期便显露出过人天赋，不到9岁即升入中学，并于1983年考入原国防科学技术大学。其学术生涯一路高歌猛进：28岁晋升副教授，33岁成为教授，38岁获国家杰出青年科学基金资助，逐步成长为高可信软件技术领域的主要开拓者。然而，2013年1月23日凌晨，突发主动脉夹层打破了平静。历经半年、10余次手术，他虽保住性命，却不得不截肢。面对巨大变故，他选择铭记家人、同事及陌生人的善意，将此后的人生视为“第二次生命”，并决心开启新的活法。

在重症监护室那张仅一米二宽的病床上，王戟开始了新的科研征程。起初仅能单手托手机查阅论文，随后逐渐恢复阅读厚资料、修改博士论文的能力。在病房辗转治疗期间，他依然听取学生汇报、指导研究方向。2014年春节前夕，他回到家中度过团圆夜，标志着新生活的正式开启。

师从中国计算机软件先驱、中国科学院院士陈火旺，王戟秉承“淡泊以明志，宁静而致远”的治学理念。在世纪之交，当业界普遍追逐硬件性能时，他敏锐洞察到软件可靠性与安全性的严峻挑战。在国内该领域资料匮乏、概念不清的背景下，他坚持深耕，率先倡导“高可信软件技术”概念。2003年，他与陈火旺等人发表《高可信软件工程技术》，成为国内该领域首篇系统性论文，勾勒出技术核心框架，并将前沿理论引入研究生课堂。

随着软件安全成为大国博弈焦点，王戟在轮椅上继续他的科研远征。团队曾遭遇数月技术瓶颈，他鼓励大家“专啃硬骨头”，最终研发出对大规模关键软件核心代码进行精细“CT扫描”的能力。该成果解决了诸多国际级疑难杂症，被业内誉为“别动队”。针对年轻学者关于保持前沿嗅觉的疑问，王戟幽默回应：“在深山老林里开路的人，总是最先看见日出。”

王戟使用的是一辆手动轮椅，扶手皮革磨破后以胶带缠绕，他戏称“破车慢慢开”。但一旦投入工作，他便能快速穿行校园。2019年，他主动为研究生讲授《形式化方法》这门涵盖基础理论与国际前沿的核心课程。课堂上，他一手撑轮椅保持平衡，一手在白板上疾书，带领学生深入命题逻辑、谓词演算及程序验证的世界。

重返校园后，王戟开始独自出差，仅背一个装有资料、衣物和电脑的双肩包。为赶早班机，他常凌晨五点出发。2021年起，因长期重病损伤肾功能，他需定期透析。为此，他制定严格作息，按透析日与非透析日规划工作。在上海治疗期间，他在透析仪器旁打开笔记本电脑参加学术会议，精准抛出专业问题，其专注令陪同学生动容。

王戟表示，科研解决当下问题，教学培育未来人才，两者皆不可废。面对计算机技术的飞速迭代，他深感紧迫感，致力于将“冷门硬核”的高可信软件知识传授给下一代，期望通过技术突破，在国之重器及国家关键领域保障可信可靠，形成新质战斗力。轮椅载着他，一次次驶向科研的“巴音布鲁克”。