科技日报记者 张 强 科技日报通讯员 许 鑫 何智明
一次次轮椅的转动中，他与时间博弈、与病痛斗争；一场场与代码的较量中，他用智慧搭建桥梁、向未知发起冲锋。
他就是王戟，国防科技大学计算机学院研究员、我国高可信领域学术带头人。与一般科研人员不同，王戟是一名双下肢高位截肢的残疾人。
5月16日，第七次全国自强模范暨助残先进表彰大会在北京召开，王戟获得全国自强模范称号。他说：“我将继续以代码为剑，以昂扬的状态、平和的心态，不断攀登科研高峰。”
1983年，“银河-I”巨型计算机研制成功，中国成为世界上第3个能够独立设计和制造亿次巨型计算机的国家。同年，年仅13岁的王戟以全班第一名的成绩考入国防科技大学计算机系。自此，这个少年大学生，开启了与代码“赛跑”的高速人生。
王戟师从中国工程院院士陈火旺。陈火旺是我国计算机软件事业的开拓者之一，也是王戟的科研“引路人”。
王戟至今记得，读研期间，陈火旺在教学楼作学术讲座的火爆场面：教室里面座无虚席，连过道里都站满了人。正是那次讲座，让王戟坚定了搞科研的决心。随后，他面向国家和军队对软件可靠安全的重大需求，一头扎进高可信软件领域，一干就是30年。
那些年，王戟一直在“加速”奔跑：13岁上大学，33岁评上教授……作为国内最早倡导高可信软件研究的学者之一，他提出“高可信软件技术”这一概念，并将研究成果形成学术论文，在学术界引发共鸣。相关论文至今仍不断被学术界引用。
理论研究取得突破后，王戟又结合工程实践中的具体案例，在国内率先开设了《高可信软件技术》课程，把这一国际前沿理论引入研究生课堂。
然而，命运无常。2013年，在学术界已颇具声望的王戟突然主动脉夹层破裂，虽经14个小时的抢救保住了生命，却不得不接受双下肢高位截肢的残酷现实。在重症监护室清醒后，王戟全身上下只有手可以动，承受着身体与心理的双重痛苦。稍有好转后，他第一个要求就是每天要翻阅学术论文，了解最新科研动态。就这样，王戟在轮椅上，再次开启了人生和事业的“加速度”。
王戟说：“我总有一种紧迫感。计算机技术发展迅猛，必须一直不停地学，要不就会被落下。”
正因如此，哪怕经历了截肢手术，王戟也没有给自己留“缓冲期”。住院期间，病房成了王戟的临时办公室。他在那里听取学生报告、指导研究方向、修改博士论文。他说：“只要大脑还能思考，双手还能敲击键盘，任何困难都不能阻止我前进。”
重返教学科研一线后，王戟牵头申请了某重大科研项目，并担任首席科学家。王戟定期组织各参与单位开会。会议有时一开就是一整天，连年轻人都有些坐不住，王戟却在轮椅上稳如泰山。遇到需要出差时，他也是说走就走。为了节省时间，王戟都是乘最早的航班出发，通常凌晨5点左右出门。
2021年，王戟积劳成疾再次病倒，需要长期接受透析治疗。即便如此，他仍然坚持“病房—实验室—教室”三点一线的工作模式。每次透析都需要一上午时间，他就将每周三次的透析当作自己的“透气”时间，其余时间都会按时出现在办公室。
事实上，每次透析王戟都异常难受，根本谈不上休息。而且，他还经常利用透析时间开线上会议。
这些年，尽管经历了重大变故，王戟却愈发乐观，心态也更加平和。在同事和学生眼中，他就像当代的保尔·柯察金——虽然身体被禁锢在轮椅上，但精神却始终在冲锋的路上。
“在这个永远在路上的领域里，我希望与大家一起只争朝夕。”王戟说。
