辽宁
早上9点多手机突然震了一下，一条短信弹出来：“中宣部授予王戟同志'时代楷模'称号，褒扬他是'冲锋不止的科研尖兵'，号召全社会向他学习。”
说实话，第一反应是“王戟是谁？”——这个名字太陌生了。扫了一眼就划走了，没当回事，就感觉这短信有点特别。
直到晚上看到网上也在说，我再次拿出手机短信才真正看进去。看完之后我只想说：这条短信，值得每一个收到的人好好读一遍。
几个数字，足够震撼
不满14岁考上国防科大——别人还在读初中，他已经进了大学。
33岁评上教授，38岁拿到国家杰出青年科学基金。履历耀眼得不像话。
但另一组数字更扎心——
2013年，43岁的他突发主动脉夹层，13小时手术抢回一条命，双腿却保不住了。左边大腿高位截肢，右边髋关节离断。
147天重症监护室。
2021年，肾衰竭，每周3次透析。至今已经700多次。
从“天才少年”到“轮椅教授”，这中间的落差，换谁扛得住？
他用代码守护大国重器
王戟是国防科技大学计算机学院的研究员，我国高可信软件技术领域的主要开拓者。
什么叫“高可信软件技术”？通俗点说，就是给大国重器的软件系统“做体检”。火箭、卫星、舰船、战机——这些装备的关键软件一旦出问题，后果不堪设想。
而王戟的工作，就是用数学方法从底层验证代码的正确性，找出深藏的漏洞和隐患。
上世纪90年代末，国内这个领域几乎是一片空白。是王戟和导师陈火旺院士率先提出这个概念，开了国内第一门课，教材是他写的，标准是他定的。
业内管他的团队叫“专啃硬骨头的别动队”——别人搞不定的软件难题，都来找他们。
命运把他摁进轮椅，他把轮椅开成战车
最难的不是失去双腿，是失去双腿之后怎么活。
王戟的选择是——回来。
2015年，大病初愈的他摇着轮椅回到天河楼。同事们看到他，又惊又喜。他反而笑着安慰别人：“脑子还能思考，手还能动，就没问题。”
回来之后，他牵头申请了某国防973重大项目，担任技术首席专家。带学生、搞科研、出差开会，一样没落下。
同事王挺主动接送他上下班，一接就是八年。机场工作人员都认识这位“轮椅上的科学家”。
他的学生说：“王老师总说'我自己能行'，连推轮椅都不让。”
他为什么能坚持？
王戟自己说过一句话：“只要我的脑子好使，手还能用，我就不会停下来。”
这话听着轻描淡写，背后是每周3次透析、手臂上的血管通路反复手术、久坐导致伤口反复破溃——但他依然每天早晨8点前出现在办公室。
他的母亲在他最绝望的时候说过一句话：“如果你不能面对，别人会说这个孩子可惜了；如果你能够面对，大家都会帮你，都会推你一把！”
王戟听进去了。
今天收到这条短信的人很多。可能大多数人跟我一样，扫一眼就过去了。
但我想说的是——这个叫王戟的人，值得你花几分钟了解一下。
一个不满14岁考上大学的天才，一个33岁当教授的学者，一个失去双腿后依然在科研一线冲锋的军人。
他用半辈子证明了一件事：身体的桎梏，困不住一颗向前的心。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
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.
