吉林
名字是父母起的，单名一个“戟”——指望他持兵器护国，拿所学安天下。1983年，他进国防科大计算机系时，还没过14岁生日。巧的是，那年“银河-I”研制成功，我国第一台亿次巨型机。广播里报喜的时候，整个校园跟炸了锅似的。少年王戟站在人群里，大概没想过，往后几十年，他和中国计算机这行当会绑得那么紧——紧到后来，大国重器的软件安全，得由他来守那道门。
可这门好守吗？90年代末，外军一套装备因为计时软件出岔子，死了不少人。1996年，国外一枚火箭飞了不到一分钟，软件故障，炸了。教训就摆在眼前：软件是装备的脑子，一行代码写错了，后果扛不住。王戟闷头扎进“高可信软件”——说白了，就是用数学方法，从根儿上证明代码没毛病。2003年，他和导师陈火旺发了一篇论文，国内最早系统谈这事儿的；之后他头一个开这门课。到了2012年10月，航天部门电话打过来，急得不行：系统联试里老蹦出随机数异常，像幽灵似的藏在几万行代码里。王戟带着人从零开始啃一门生僻语言，两个月，愣是给啃下来了。
谁都以为日子就这么往前赶。2013年1月23日凌晨，他突然主动脉夹层——抢救13个小时，前后十多次手术。命保住了，腿没了。昏迷十几天，醒过来，他妈在电话里说：“你要能扛得住，大伙儿都帮你，都推着你走。”同事和学生来病房，别人带水果，他们带电脑，带资料，病房当办公室。2015年春节刚过，轮椅上的王戟又回一线了，牵头申请国防973项目，当技术首席。2021年，肾衰竭，每周三次透析。他把透析排到下午，省出上午干活，管那叫“休息日”。有人问他干嘛非挑这么冷门的方向，他说：“穿着军装呢，我们不干，谁干？”
病房慢慢就成了他的常驻办公点。三十多年，他带着团队在高可信软件里闯出一条自己的路，成果用在航空航天那些大家伙上。带出120多个硕士博士，撒到国防科研一线。2025年，项目拿了军事科技进步一等奖，他本人评上“全国自强模范”。最近，中宣部又给了个“时代楷模”。他自个儿倒总念叨那句话：“只要脑子还转得动，手还抬得起来，我就不会停。”从当年仰望“银河”的少年，到如今坐在轮椅上较劲的硬骨头——这一辈子，他真把“执戟报国”那四个字，活成了模样。
#王戟##王戟：勇攀科技高地的强军先锋#
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
