橘猫新闻 综合报道 57岁的国防科技大学计算机学院研究员王戟，在3天前刚于上海接受手术的情况下，于5月20日晚出现在学校图书馆“高地文库”，与学生讨论学术。这位全国自强模范、我国高可信软件技术领域的主要开拓者，尽管因2013年突发主动脉夹层导致高位截肢，却始终以轮椅为“战车”，带领团队为国家重大工程软件系统“把脉问诊”。
王戟不满14周岁即考入国防科大计算机系，33岁评为教授，38岁获国家杰出青年科学基金。然而，2013年1月23日凌晨，他因突发主动脉夹层被紧急送医，手术长达13小时。由于体内毒素侵蚀，其双腿肌肉坏死，先后经历左大腿高位截肢、右髋关节离断。面对人生剧变，王戟坦言：“人之所以痛苦，是源于选择，一旦没得选择，也就不那么痛苦了。”术后恢复期间，他躺在病床上用笔记本电脑远程指导团队攻关，以“重启”姿态投入科研。
王戟的研究方向聚焦于高可信软件技术——用数学方法从底层验证软件代码正确性，被称为“软件医生”。1999年，他受邀参与某重大工程软件可靠性评估任务，带领团队反复推演，成功研制出检验软件可靠性的度量工具。2003年，他在陈火旺院士指导下发表《高可信软件工程技术》论文，成为我国该领域最早的系统性论文，并率先开设相关课程。其团队被业内称为“专啃硬骨头”的别动队，多次解决国家重大工程中软件系统的疑难杂症。
1990年4月，王戟作为在读博士正式入伍。他在1991年11月的入党志愿书中写道：“只有把自己的一生同党的事业，同国家的前途、人民的利益联系起来，才能使自己的一生更加充实、更有意义。”从少年时代对计算机的朦胧兴趣，到师从“银河—Ⅰ”软件系统总负责人陈火旺，再到身披戎装后锚定国防急需，王戟始终将个人选择与国家命运紧密相连。
2015年春节后，王戟逐渐恢复工作节奏。近年来，他带领团队在某国防“973”项目攻关十年，相关成果获军事科学技术进步奖一等奖。他说：“只要我的脑子好使，手还能用，我就不会停下来。”
