刚刚收到一条中国移动发来的短信：中宣部号召全社会向王戟学习。
我查了一下，此人简介如下：
王戟，国防科技大学计算机学院研究员，我国高可信软件领域的主要开拓者与学术带头人，被中宣部授予“时代楷模”称号，褒扬为“冲锋不止的科研尖兵”。
基本经历
• 出生与早年：1969年11月出生于上海，翌年随父母支援三线建设迁往湖南常德。父母为他取名“戟”，寓意“执干戈以卫社稷”。自小数学天赋出众，一路跳级，不满9岁考入中学。
• 求学与成才：1983年（不满14岁）以优异成绩考入国防科技大学计算机系，师从陈火旺院士（“银河-Ⅰ”巨型计算机软件系统总负责人）。博士毕业后留校任教，长期深耕计算机软件领域。33岁评教授，38岁获国家杰出青年科学基金。
• 研究方向：高可信软件与智能软件。他在国内率先提出“高可信软件技术”概念，2003年与导师等共同发表《高可信软件工程技术》论文（该领域国内最早系统性论文），并首开相关研究生课程。高可信软件被比作“软件的医生”，通过数学方法验证代码正确性，排查漏洞与隐患，保障大国重器（航天、国防装备等）软件系统的可靠与安全。
重大挫折与坚守
2013年初（事业巅峰期），突发主动脉夹层破裂，经长时间手术后双下肢高位截肢。术后在重症监护室仍坚持翻阅论文、指导科研。2015年重返岗位，牵头申请并担任某国防973项目（当年面向国家和军队急需的唯一纯软件项目）技术首席专家。2021年项目验收后，又因肾衰竭需每周三次透析治疗，开启“病房-实验室-教室”三点一线工作模式，已累计透析700多次。他常说：“只要脑子还能动，手还能用，我就不会停。”以轮椅为“战位”，代码为“利刃”，继续冲锋。
主要成就
主持、参与国家和军队重大重点项目/课题20余项（一说30余项），成果应用于航天等国防任务，部分达到国际领先水平。发表论文100余篇，授权发明专利10余项。获国家科技进步二等奖、军事科学技术进步奖一等奖等。培养高可信软件技术骨干人才100余人（一说70余名学生，其中多人成为科研中坚）。2025年被授予“全国自强模范”称号。相关报告文学《轮椅上的战歌》已出......
https://twitter.com/RJDAIGOGO/status/2082288700944437589
