王戟生活在两个世界。 即时新闻。
那些年，他经常乘最早的航班出差，参加完会议当天就回来，第二天正常给学生上课。
王戟常说，计算机学院有许多人比他优秀，未来属于年轻人。
深度背景与起因
他坦然面对命运的挫折，并庆幸自己是搞软件的。
《八仙！》导演解析杨戬性格：想过他火，没想到这么火
仅用20%力量 搏克手甩飞女记者
深度事件经过
白天，李戈很少能在病房看到他，他只好挑晚上查房。每次去，王戟几乎都在工作。
“‘天河’事业任务很重，为了追赶进度，经常没日没夜地加班。”计算机学院同事朱明辉记得，银河团队有很多感人故事，慈云桂老先生说过，“天上有一条银河，地下也有一条银河”。
俞芳这才知道，他早就回去上班了。
深度各方回应
王戟解释，那是随便找的，觉得它很优美，他愿把那些“简洁而深刻”的东西，称之为“优美的”。
入伏首日“烤”验合肥 动物花式解暑有“凉”方
烟台：想找到传说中的“蓬莱仙境”？这里或
深度影响分析
“这是很恐怖的一件事。你的腿不在了，但大脑一直认为它在，一直疼痛，会日夜折磨着你。”俞芳说，“幻肢痛是医学上没办法解决的。”
始建于唐代 武汉闹市有座“赵州桥”
尴尬！美代表展示非洲地图国家位置全标错
只是，这个擅长“给软件看病”的人，没能及时发现自己身体上的病。
《八仙！》导演解析吕洞宾和钟离权的MBTI
如今，他又在和AI赛跑。5年前他的肾脏衰竭，血液透析超过700次。但每当进入那一方“大世界”，他就像一位持戟的将士上了战场。
他说，只要我的脑子好使，手还能用，我就不会停下。于是，每当人们从他办公室路过，里面总传来噼里啪啦的敲键盘声，哪怕是周末。
系里的同事问过他，为啥不换个电动的？王戟的“说辞”是他想自己推，练胳膊，保持一定的运动量。
“如果你把软件看成是一个人，我们做的东西相当于CT机、核磁共振仪，给软件看病的。”王戟介绍，如果没有“看病”的工具，就会给军事安全乃至国家安全带来致命威胁。
只有一些时候，每天帮他打餐的食堂阿姨易玲芝，会留意到一些不一样的地方。王戟的餐总不够常人的二分之一；他胳膊上有时青一块紫一块，她也不敢多问；他吃饭时，还掏出药丸放在嘴里干嚼，不用水送服。
朋友王挺以为，这个无限不循环的数字，也代表着王戟对学术永无止境的追求。
个人贷款新规施行 银行、互联网平台强制推送“一张表”
3
现在，他对轮椅已驾轻就熟了。有时，遇到办公楼里的拐角，他甚至可以来一个小漂移。电动轮椅普及多年后，他依旧坚持“手搓”。
中国经济政策工具箱很充实
王戟2013年生病时，女儿不到3岁。妻子黄春也是国防科大的研究员，是“天河”团队的骨干，曾被授予“全国三八红旗手”。
证监会连发多份监管文件 涉及广发证券、国元证券等
他们申请用8000万美元“翻译中国”，却成了一场闹剧
他渴望重新站起来，尝试过戴义肢走路，但走得慢且不稳，只好选择坐轮椅。刚到康复医院时，他浑身无力，划一会儿轮椅就要休息。王戟甚至考虑考C5驾照(残疾人专用自动挡载客汽车——媒体人注)。妻子认为那太危险，没同意。
但相比于超级计算机等热门研究领域，高可信软件技术立足基础研究，难度大。“大家都知道这个意义大，但舍得进去干的人缺口很大。”国防科创大学计算机学院教授王挺说，这一领域研究的落地成果，通常是保证不出事，但当不出事时，“你可能就隐藏到后面去了”。
多年来，王戟总觉得自己的双腿还在。他还做过这样一个梦：“我在教室里走着，我觉得我的腿还在。”
济商高速全线通车 鲁豫协同发展再添交通要道
重庆高温红色预警 游客水中“抱冬瓜”降暑
哪怕病重，他也从来没想过不回去工作。他读过史铁生写的《病隙碎笔》，对那位和他一样腿和肾都出现难题的作家，文字里流露出的乐观与幽默印象深刻——朋友余华等人让他去足球场上当守门员。
1
日本“国家情报局”宣告成立 多方质疑高市政府企图构建战争体制
斗牛士军团的冠军时刻
长春萌娃的“热辣”京剧假期
另一个世界很大，大到没有边界。那是0和1的计算机世界，他敲敲键盘，代码就跑得飞快。他在那里已自由“生活”了43年。
很多时候，王戟就是这样一个总藏于幕后的人。
多年来，他独自去过许多地方，医院、学校、机场、会场等，还像生病前一样出差。起初，长沙黄花国际机场的工作人员见到这位独自出差的“轮椅教授”时，是惊讶的，后来也习以为常。
5
现在，他还在独自摇着轮椅，一寸寸靠近他心中的“高地”。
青海湖流域天峻片区：巡护途中偶遇“大眼萌”
长期日常生活在轮椅上，王戟要面对的疼痛和不便太多了。
“人工智能(AI)对我们大众的冲击是很大的。怎么使智能更加可信、可解释、可验证，和人类能够共处，是非常主要的。”王戟说，这件事需要被严肃对待。
在进行康复训练期间，恰逢2014年巴西世界杯。王挺送了他一颗足球，他笑呵呵地接过了。他知道，许多人都在等他回去。
那是一种极为凶险的心血管急症，死亡率高达20%。学校领导请求医院，不惜一切代价抢救王戟。湘雅医院副主任医师俞芳至今记得，校领导一再说道，一定要保住他的生命。
训词的第一句是：国防科技大学是高素质新型军事人才培养和国防科技自主创新高地。
同事有时会注意到，王戟的脸上会突然难受——那是他的残肢或幻肢在痛。没人知道，过去13年里，王戟忍受过多少次这样来去如风的疼痛。
出院后，俞芳再次得知王戟的消息，是2017年冬天的事了。
一个世界很小，不足一平方米。那是一辆黑色扶手掉了皮的手动轮椅，这位国防科研大学(以下简称“国防科大”)计算机学院的研究员，多数时候都被“困”在这方寸之间。一困就是13年。
王戟在ICU的那段日子，母亲要照顾常年卧病在床的父亲，妻子要照顾同样卧病在床的他。3岁的女儿，很多时候是国防科大职工梁妍帮忙照看的。
病发前一天，国防科大计算机学院原研究员唐玉华在学校见到王戟时，看他脸色灰灰的，提醒他去医院看看。
虽然坐着轮椅，但一点儿也不影响他向科学的高峰不停冲锋。去年，他被评为“全国自强模范”，摇着轮椅去了人民大会堂。今年，同事说他又申请了国家自然科学基金的课题。当被问到将来退休做什么时，他的答案是：没想过。后来想想说，可能和现在差不多。
他总是一副精力旺盛的样子，穿着绿军装，剃着干净利落的寸头。
导师陈火旺曾留给他两句话，一句是“淡泊以明志，宁静而致远”，另一句是林则徐的诗“山登绝顶我为峰”。
“他付出的努力，不是我能想象到的。”妻子黄春说，“如果我俩换个位置，可能我就垮掉了。”
津门潮涌，开启迈向世界一流的开放新篇章
高温来袭 重庆市民解锁“水上麻将”花式避暑
起初，血透岁月都安排在上午。李戈发现，王戟上午做完血透，中午回病房休息，下午就跑学校去了。有一次，朱明辉见他透析完就回到办公室忙活，胳膊上的针孔处突然血流不止，他就找来创可贴贴住，再拿橡皮筋捆住胳膊，继续工作。
劈波斩浪！来看水上救援尖兵是怎样炼成的
多年来，他一直辗转在两个战场：医院、学校。
起初，他想学计算机，志愿是硬件，后来母亲听到一个比喻——“钢琴就是硬件，曲子就是软件”。母亲果断把志愿改为软件。“幸亏当初选择学软件。”这位80多岁的老人说，脑子没坏，就可以继续事务。
等王戟从昏迷中醒来，已是10多天后的事。
他的研究领域，就是计算机世界里一座有些艰深的“山”——高可信软件技术。
尽管这个头发花白的老人，并不清楚自己儿子现在研究的到底是什么，但她一生中引以为傲的一件事是，“儿子王戟成长为国家有用之才”。
大足石刻为何被称作石窟版《清明上河图》？
那时，王戟已成为国内“高可信软件技术”领域的业内人士。他参与的许多研究，都是“国”字号。
美国新关税刚落地，就被自己人告了
中国军魂，永不褪色！八一建军节，致敬每一位中国军人
潮汕无米粿“出圈”吸引海内外食客
英国最大核电站附近发生野火
双腿没了以后，王戟想给学生上课。他向系里提出开设《形式化方法》课。但教学楼里的台阶，成了他迈不过去的坎儿。于是，计算机学院一间方便轮椅进出的会议室，成了教室。
4
王戟把他身下的那辆轮椅，也滚得很快。接送他的司机黄臻发现，两年来，他们约定去医院接他上班的时间，在不断往前提。最初是8点，后来是7点30分，如今7点10分黄臻开车到医院时，王戟早收拾好自己，摇着轮椅，穿过走廊，搭乘电梯，到路边等他了。
但他比许多人更早到办公室，以至于一些年轻人说，“王老师都这么拼，我们有什么理由不努力呢”。学生王佩婕说，如果说他有什么缺点，那就是太热爱工作了。她坦言：“成为这样的人真的很难。”
2021年的一天，课讲到一半，王戟突然感到胸闷、头晕。他强撑着把课讲完，才去医院。检查结果显示，他血液中的肌酐值达到700多微摩尔每升，是正常值的数倍。肌酐值是衡量肾功能的核心指标之一。
等病情稳定，王戟从ICU转入普通病房。俞芳发现，他的床边常摆着电脑，一些学生也总往医院跑。他们总在谈论文、课题、项目。
“上班对他来说，有时候不是上班，是休息。”黄春理解王戟，从不劝他提前退休，只是劝他别太累。如果身体垮掉，他连工作这个爱好也不能拥有了。他的母亲也愿意他去工作。
去年，易玲芝看了王戟的新闻，才知道他是个肾功能衰竭的人，饮食受限。她感慨，他工作为什么要那么拼，没见过这样的人，经历传奇，“就像电视里演的一样”。
2
“从现有的计算理论来看，它不存在银弹(在软件工程领域，银弹指能一劳永逸解决所有软件问题的方法——记者注)。”王戟说，想要达到理想状态，已被理论证明是不可能的，我们需要做的是无穷地接近那个理想目标，一点点进步，“它是一个永远在路上的事情”。
贵州“村T”两周岁生日秀 台湾少数民族同胞压轴入场掌声沸腾
中新网评：别再编“爽文”蹭王虹流量了
其实，这个“折戟”的战士，从未真正“执干戈”上战场，但他拱卫着的“高地”，是中国的另一片疆域。(中青报·中青网记者 李强) 更多精彩内容请进入国内新闻 国内新闻精选： 大国重器背后的故事：高可信是什么？王戟又是谁？ 2026年08月01日 16:43:34 访中国海军郑和舰：深蓝人才“母舰”是怎样练成的？ 2026年08月01日 16:09:50 南部战区位黄岩岛领海领空和周边海空域组织海空联合演训 2026年08月01日 08:47:08 台湾诗人在大陆出版诗集《山河共春晴》 讲述乡愁与团圆 2026年07月31日 20:41:53 航行警告！渤海海峡黄海北部执行军事任务 禁止驶入 2026年07月31日 15:43:22 国务院任免国家作业人员 2026年07月31日 15:19:39 新功能上线！12306推出入学新生预约购票服务 2026年07月31日 12:44:21 中央安全生产考核巡查组在河北明查暗访 2026年07月31日 10:15:46 涉及生态环境、退役军人等 8月一批新规将实施 2026年07月31日 08:02:01 两岸青少年“以球会友” 京台乒乓球交流赛开幕 2026年07月30日 22:01:28 换一批 大国重器背后的故事：高可信是什么？王戟又是谁？
数十年来，软件已逐渐广泛应用于国家许多安全攸关的系统中，如交通、金融、医疗、航空航天、武器装备等。与此同时，软件系统日益变得庞大又难以驾驭。王戟常常要思考，如何用形式化方法(一种基于数学和逻辑的方法——记者注)保证软件系统的安全可靠。
每天，那辆红旗轿车会准时载着他，避过长沙拥堵的早高峰，抵达国防科大。驶进校园时，他们最先看到的是路尽头的一块石墙，墙上刻着中共中央总书记、国家主席、中央军委主席习近平2017年7月为新调整组建的国防科技大学所致的训词。
1969年11月8日，儿子出生。那个年代的中国，正流传着“备战备荒为人民”的口号。母亲给儿子取名——王戟。从3000多年前的商朝起，戟就是这片土地上的卫国兵器。母亲那时希望，儿子长大后，“执干戈以卫社稷”。
“解放军来了，咱有救了！”
他合作的那篇2003年发表于《电子学报》的论文——《高可信软件工程技术》，是我国在该领域最早的系统性论文。发表后第4年，国家自然科学基金委员会就启动了一项重大研究计划——可信软件基础研究。此后多年，他也深度参与这项研究。
被蜱虫叮咬后，硬拔出来就对了？
俞芳也很诧异。她见过许多被截肢的病人，醒来后异常愤怒，但王戟淡定到不可思议。王戟对她说：“人最大的痛苦是有选择，如果你没有选择，你就不会有痛苦。”
手术持续了13个小时。王戟的性命保住了。但不久后，双腿因肌肉不停坏死，高位截肢。
至于他为何如此热爱工作，熟悉他的人们有不同的理解。有人说，他身上有一种家国情怀。一个陌生人读过他的故事后觉得，对如今的他来说，轮椅上的那个世界充满障碍，但在计算机的世界里，他是自由的。
香港猫迷博览会揭幕 逾400展位迎接猫迷
“一个人最大的幸福，莫过于他的一生，是和他的国家绑定在一起的。”王戟对中青报·中青网记者说。
辽宁沈阳：海洋动物吃饺子迎“头伏”
有时，他的主治医师李戈早上8点查房，“跑过来一看……唉，人嘞？找不到他人。”发消息一问，人到办公室了。他最常待的位置，是国防科大那间10余平方米的办公室。
在俞芳的记忆里，他在ICU里就住了许久，大大小小的手术前后历经了10余次。这在她职业生涯里是前所未有的。
草原粉绿相撞铺展成毯
王戟说，他看过一部纪录片，有个细节永远忘不掉——一匹马陷入沼泽，怎么都拽不上来，有个马夫牵来一群马，让它们围着沼泽跑。陷入沼泽中的那匹马在同伴的感召下，缓缓地、奋力地挣扎、攀爬，最终脱离沼泽，回到群体之中。他说，他就好比陷入沼泽的那匹马。
航拍日本熊本县震后画面
上海虎鲸家幼崽迎来满月：出生时体重超200公斤
然而，他把自己的成果，说得轻飘飘的。他说自己至今没有哪一篇论文是“划时代的”，他的研究不过是解决了一点点小小的问题，没什么惊天动地或突破式的创新。
他被送去东部战区总医院，开始了血液透析，还想着有机会肾移植。后来唐玉华听说，他想换肾的原因有两个——一个是想更好地工作，一个是想看到女儿读大学、结婚。“国和家，都在他的心里。”
26岁留校任教后，他渐渐成为这个学院的新锐。
黑龙江虎林：澄澈湖面犹如晶莹蓝宝石
王戟至今记得，1996年，他留校工作的第二年，欧洲阿丽亚娜5型火箭首次发射，因软件的数据转换错误，火箭升空约40秒后爆炸。
如今，王戟的体重已不足病前的三分之二。
“必须很好地珍惜第二次生命，才能对得起那么多帮助我的人，包括我的家人。”王戟说。
1999年，王戟曾给航天相关软件系统做可靠性评估工具环境。时至今日，外界也很少有人知道，从航天相关工程，到后来许多的国家工程，王戟和他的团队常隐于幕后，给软件“看病”。
中国科学院院士、国防科技大学计算机学院教授王怀民说，“王戟是我国高可信软件领域的主要开拓者，20多年前在国内首次提出‘高可信软件技术’概念。”
最初归来那8年，是同事王挺每天早上送他到学校。在学校，王戟常出入的地方——办公楼、教工食堂，都增修了无障碍设施。天河楼一楼，门卫特意备了一把打气筒。在三楼的男厕，最靠里的那个隔间是留给王戟的，学院拆掉了隔间的门板，换上了布帘，以方便轮椅进出。
王戟拿的奖也很重很重。他还拿过国家科技进步奖二等奖，荣立过一次二等功、两次三等功。
安徽石台：沉浸式感受延时镜头下的星河流转
“水清岸绿、鱼跃鸟飞” 贵州写好长江上游生态屏障保护“大文章”
歌手周锐质疑李佳薇歌曲抄袭 律师：版权纠纷不能仅凭“听感”认定
这么多年来，在计算机世界里，他能抵达的处所，越来越远了，但在现实世界里，他能去到的远方，越来越少。不过，他心里藏着另一块高地，那是他生命中的一方“大世界”。如今，他每天都摇着他的轮椅，不停地往那儿赶。
王戟的微信头像是由8个π(圆周率)组成的圆形符号。他说，如何计算π，曾是数学家们追求的目标。大学时学计算机，入门功课之一就是写程序来算π。
美国为何把关税变“政治工具”？
2013年1月23日凌晨，睡梦中的王戟，被背部撕心裂肺的疼痛惊醒，发现自己双腿已无法动弹。他被连夜送往中南大学湘雅医院，最终确诊为主动脉夹层。
蛋糕不是歪了 而是幸福在向你们倾斜
1969年出生的他，只读过两年小学。因为数学好，不满9岁被湖南的常德一中录取，不满14岁考进位于长沙的国防科大，学习计算机专业。后来，他师从计算机软件专家、中国工程院院士陈火旺。
21世纪初的那10年，因软件缺陷带来的损失不胜枚举，比如日本股市停摆，俄罗斯飞船偏离预定降落地点460公里，美国载有旅客的400余架飞机与机场失联。在中国，2007年出现了“熊猫烧香”病毒，一夜之间让上百万台计算机受损。
新的时代背景下，他要面对的软件系统更复杂、更庞大、更新，AI领域的可信难题也更严峻。他开始坐在轮椅上思考，在许多领域，AI正在超越人类，这也让他有一种时候上的紧迫感。
但他主持、参与的项目和课题又很重很重。摇着轮椅返校第一年，他就和团队申请了某国防973项目，并担任技术首席专家。项目实施期间，他出差几十次。10年后，这个项目孵化的成果获得了军队科学技术进步奖一等奖。
熟悉他的人知道，他以前是个“吃货”。出国参加学术会议，在异乡他也能找到美食。他爱吃米粉、双燕馄饨。他说，π(派)其实也是吃的，有一种食物叫苹果派。
刻进DNA！盘点美加墨世界杯出圈名场面
