#致敬时代楷模王戟#【#他把轮椅开成了战车# 致敬！】上世纪末，某外军装备由于软件系统计时失效，造成大量人员伤亡。信息化时代，软件已经成为高科技装备的“大脑”，一个微小的错误就可能导致巨大的损失。王戟，不到14岁考入国防科大，扎进了高可信软件技术的“无人区”。所谓高可信软件技术，就是用数学的方法，从底层原理去验证软件代码的正确性。王戟打了个比方：“‘高可信软件’就像一个‘软件医生’，给大国重器的软件系统进行全身扫描、精准诊断，找出深层次隐藏的漏洞和隐患。”2003年，王戟在陈火旺院士指导下共同发表论文《高可信软件工程技术》，成为我国在该领域最早的系统性论文。其后，他又在国内首开“高可信软件技术”课程，把这一前沿理论引入研究生课堂。
2013年，他突发主动脉夹层，永远失去了双腿。手术苏醒后的他，全身几乎不能动，却先问起了项目进展。病房渐渐成了一间临时办公室。现在他每周透析三次，戏称这是他的休息日。王戟已培养硕士、博士120余人，奔赴国防科研一线。他说：“只要我脑子还好，我的手还好，我就不会停止。”日前，王戟被授予“时代楷模”称号。致敬！http://t.cn/AXChBMpk http://t.cn/AXChBabS